AN INVERSE PROBLEM FOR THE WAVE EQUATION WITH A TIME DEPENDENT COEFFICIENT
|
|
- Alban Hardy
- 6 years ago
- Views:
Transcription
1 AN INVERSE PROBLEM FOR THE WAVE EQUATION WITH A TIME DEPENDENT COEFFICIENT Rakesh Department of Mathematics University of Delaware Newark, DE A.G.Ramm Department of Mathematics Kansas State University Manhattan, KS 6656
2 Abstract Let Ω R n, n 2, be a bounded domain with smooth boundary. Consider u tt x u + q(x, t)u = in Ω [, T ] u(x, ) =, u t (x, ) = if x Ω u(x, t) = f(x, t) on Ω [, T ] We show that if u and f are known on Ω [, T ], for all f C ( Ω [, T ]), then q(x, t) may be reconstructed on C = { (x, t) : x Ω, < t < T, x tω & x + (T t)ω Ω ω R n, ω = 1 } provided q is known at all points not in C. If u, f are known on Ω [, T ], and u is known on t = T, for all f C ( Ω [, T ]) then q(x, t) may be reconstructed on D = { (x, t) : x Ω, < t < T, x tω Ω ω R n, ω = 1} provided q is known at all points not in D.
3 Let Ω R n be a bounded domain with smooth boundary, and q(x, t) a function on Ω. Suppose u(x, t) satisfies u + q(x, t)u u tt x u + q(x, t)u = in Ω [, T ] (1) u(x, ) =, u t (x, ) = if x Ω u(x, t) = f(x, t) on Ω [, T ] For a fixed q(x, t), (1) is a well posed initial boundary value problem, hence one may define the Dirichlet to Neumann map and the boundary to final data map We prove the following two results - Λ q : H 1 ( Ω [, T ]) L 2 ( Ω [, T ]) f(x, t) u n Γ q : H 1 ( Ω [, T ]) H 1 (Ω) L 2 (Ω) f(x, t) ( u(x, T ), u t (x, T ) ) THEOREM A If n > 1, and q(x, t) is in C 1 (Ω [, T ]), then knowing Λ q we can reconstruct q(x, t) on the region C = { (x, t) : x Ω, < t < T, x tω & x + (T t)ω Ω ω R n, ω = 1 } provided q(x, t) is known at all points not in C. C is region III in the figure, and it is a subset of Ω [, T ] consisting of those points through which every line making an angle of 45 o with the vertical meets the planes t = and t = T outside Ω. THEOREM B If n > 1, and q(x, t) is in C 1 (Ω [, T ]), then knowing Λ q and Γ q we can reconstruct q(x, t) on the region D = { (x, t) : x Ω, < t < T, x tω Ω ω R n, ω = 1 } provided q(x, t) is known at all points not in D. D is region III IV V in the figure, and is a subset of Ω [, T ] consisting of those points through which every line making an angle of 45 o with the vertical meets the planes t = outside Ω. 1
4 V IV IV III II II I REMARKS In [5] Rakesh and Symes showed that Λ q uniquely determines q provided q is independent of t. Romanov in [7] also proved a uniqueness result for a related problem in the half plane when the (known) wave speed is of special form, again when q is independent of t. [4] contains a reconstruction formula for recovering q from Λ q, again, provided q is independent of t. We refer the reader to [5] for other articles related to the time independent case. In [3] Isakov proved a theorem related to Theorem B. He proved uniqueness for q(x, t) over the region Ω [, T ], except his data was the response of the medium not just for zero initial data (and all possible Dirichlet data), as in Theorem B, but all possible initial data (and all possible Dirichlet data). So he proved uniqueness over a larger region but he needed much more information. The proof of Theorem B may be easily modified to prove Isakov s result. Given Λ q and Γ q, from domain of dependence arguments it is clear that with zero 2
5 initial data one cannot hope to recover q(x, t) over the region I given by { (x, t) : x Ω, < t < T, dist(x, Ω) < t } But our inability to determine q on region II, we feel, is just a shortcoming of our technique. If we are given only Λ q, the response measured on the boundary, then from domain of dependence arguments one can see that we cannot hope to recover q(x, t) on the subregion I V given by { (x, t) : x Ω, < t < T, dist(x, Ω) < t, or dist(x, Ω) < T t } However, we feel that one should be able to recover q(x, t) on regions II and IV, but we have not succeeded in doing so. The derivations of the two results start from an identity which was motivated by one in [6] for elliptic differential equations. Alessandrini, Sylvester and Uhlmann (for elliptic problems), and Ziqi Sun (for hyperbolic problems) amongst others, have used similar identities. We also draw upon ideas of Sylvester and Uhlmann in [1] and upon the work of the first author with Bill Symes in [5]. NOTE For the rest of this article we will assume that q(x, t) is in C 1 (Ω [, T ]), and q(x, t) is defined to be zero outside Ω [, T ]. DERIVATION OF IDENTITY Suppose (2) u + q(x, t)u = in Ω [, T ] u(x, ), u t (x, ) = if x Ω and (3) Then using an integration by parts Ω [,T ] dx dt q(x) u v = Ω [,T ] dx dt u v v = in Ω [, T ] = Ω [,T ] dxdt u v + Ω [,T ] 3 ds (v u n u v n )
6 (4) + Ω {t=t } dx (uv t vu t ) = Ω [,T ] ds (v u n u v n ) + Ω {t=t } dx (uv t vu t ) We construct special solutions of (2) and (3) as described in the following Lemma which is proved later. LEMMA 1 Given a unit vector ω R n, σ >, and χ C (R n ) with (5) supp χ Ω = φ we can construct special solutions of (2) and (3) of the form u = χ(x + tω)e +iσ(x ω+t) + R 1 v = χ(x + tω)e iσ(x ω+t) + R 2 with R 1, R 2 zero on Ω [, T ], (R 1, R 1t ) zero on t =, (R 2, R 2t ) zero on t = T, and (6) R i (x, t) L 2 (Ω [,T ]) C i = 1, 2 σ where C depends only on Ω, T, q C 1 (Ω [,T ]), and χ C 3 (Ω). With such u and v we have Ω [,T ] dx dt q(x, t) u v = Ω [,T ] χ2 (x + tω)q(x, t) + Ω [,T ] χ(x + tω)e iσ(x ω+t) q(x, t)r 1 (7) + Ω [,T ] q(x, t)r 1R 2 + Ω [,T ] χ(x + tω)e+iσ(x ω+t) q(x, t)r 2 So for q(x, t) bounded on Ω [, T ] we have from (4), (6), and (7) Ω [,T ] χ2 (x + tω)q(x, t) { u = lim σ Ω [,T ] ds (v n u v n ) + } (8) Ω {t=t } dx (uv t vu t ) for any ω R n, ω = 1, and any χ C (R n ) satisfying (5). Given any point a Ω, we can find a sequence of χ ɛ C (R n ) satisfying (5) and so that, as ɛ approches zero, χ 2 ɛ approaches δ(x a) as distributions on R n. So if q(x, t) is defined to be zero outside Ω [, T ] then (8) implies T dt q(a tω, t) = lim ɛ lim σ { Ω [,T ] 4 ds (v u n u v n ) + Ω {t=t } dx (uv t vu t ) }
7 But q(x, t) is zero for t < or t > T. So if we define f(x, t) u = χ ɛ (x + tω)e iσ(x ω+t) (x, t) Ω [, T ] then (9) dt q(a tω, t) = lim ɛ lim σ { Ω [,T ] ds (vλ q(f) f v n ) + Ω {t=t } dx (uv t vu t ) } for any ω R n, ω = 1, and any a Ω. We shall need the following lemma proved later in this article. LEMMA 2 If q(x, t) is a bounded, measurable function on R n R, with compact support, then knowing the light ray transform Rq(ω, a) = we can reconstruct q. PROOF OF THEOREM A dt q(a tω, t) ω R n, ω = 1, a R n Let { (a tω, t) : < t < } be a 45 o line through a point in C. Then from the definition of C we have that this line meets t = and t = T outside Ω i.e. a Ω and a T ω Ω. So we can construct a sequence of functions χ ɛ in C (R n ) such that suppχ ɛ Ω = φ, suppχ ɛ T ω Ω = φ and χ 2 ɛ approaches δ(x a) as distributions in R n. So the v constructed by Lemma 1 and used in (9) may be chosen so that v, v t are zero on t = T. So if Λ q is known then (9) implies that Rq(ω, a) is known for all 45 o lines which go through a point of C. For lines not going through any point of C, Rq(ω, a) is known anyway because q is known at all points outside C (from the hypothesis of Theorem A). Hence Rq(ω, a) is known for all a R n and all unit vectors ω R n. Hence q is determined on C by Lemma 2. PROOF OF THEOREM B Since v in (3) is independent of q, if Λ q and Γ q are known then from (9), Rq(ω, a) is known a Ω and ω R n, ω = 1. For a Ω the line { (a tω, t) : < t < } 5
8 lies in the complement of D. From the hypothesis of Theorem B, q is known at all points not in D. So in fact Rq(ω, a) is known is known ω R n, ω = 1, and a R n. So Lemma 2 allows us to recover q on D. PROOF OF LEMMA 1 Our proof of Lemma 1 is a modification of the proof of a similar result in [5] which dealt with the situation where q did not depend on t. To prove our Lemma it would be enough to show that if R 1 + q(x, t)r 1 = ( + q) ( χ(x + tω) e +iσ(x ω+t)) in Ω [, T ] (1) and R 1 (x, ) =, t R 1 (x, ) = if x Ω R 1 = on Ω [, T ] R 2 = ( χ(x + tω) e iσ(x ω+t)) in Ω [, T ] R 2 (x, T ) =, t R 2 (x, T ) = if x Ω R 2 = on Ω [, T ] then the estimates (6) hold. We shall prove the estimate for R 1, and the R 2 case may be handled in a similar fashion. Let us define (11) φ(x, t) = ( + q) ( χ(x + tω) e +iσ(x ω+t)) = e +iσ(x ω+t) ( + q)χ(x + tω) From estimates for hyperbolic initial boundary value problems as in [2], for any w H 1 (Ω [, T ]) with (w, w t ) zero on t =, w zero on Ω [, T ], and large τ τ Ω [,T ] dx dt e 2τt w t (x, t) 2 C Ω [,T ] dx dt e 2τt w(x, t) 2 with C depending only on Ω and T. So taking w(x, t) = t ds R 1(x, s) in the previous equation and integrating equation (1) with respect to t one obtains τ Ω [,T ] dx dt e 2τt R 1 (x, t) 2 C { t t } Ω [,T ] dx dt e 2τt ds φ(x, s) 2 + ds q(x, s) R 1 (x, s) 2 C { t t } Ω [,T ] dx dt e 2τt ds φ(x, s) 2 + ds e τs q(x, s) R 1 (x, s) 2 6
9 { t C 1 Ω [,T ] dx dt e 2τt C 2 Ω [,T ] dx dt { e 2τt t ds φ(x, s) 2 + T ds φ(x, s) 2 + e 2τt R 1 (x, t) 2 } ds e 2τs q(x, s) 2 R 1 (x, s) 2 } using the boundedness of q. So by taking τ large enough one obtains (12) Ω [,T ] dx dt R 1(x, t) 2 C t Ω [,T ] dx dt ds φ(x, s) 2 Looking at the form of φ(x, t) in (11), we define χ 1 (x, t) Then t dsφ(x, s) = Using this in (12) we have χ 1 (x, t) = ( + q(x, t))χ(x, t) t = 1 iσ = 1 iσ ds χ 1 (x, s) e +iσ(x ω+s) t t ds χ 1 (x, s) d ds (e+iσ(x ω+s) ds χ 1 (x, s)e+iσ(x ω+s) s + 1 iσ χ 1(x, t)e +iσ(x ω+t) 1 iσ χ 1(x, )e iσx ω Ω [,T ] dx dt R 1(x, t) 2 C σ with C depending only on Ω, T, χ C 3 (R n ), and q C 1 (Ω [,T ]). PROOF OF LEMMA 2 Since q has compact support and is bounded, from Fubini s theorem R R n n da Rq(ω, a)e ia ξ = da dt q(a tω, t) e ia ξ = dt da q(a tω, t) e ia ξ R n = dt da q(a, t) e ia ξ e itω ξ = ˆq(ξ, ω ξ) for all ξ R n and all unit vectors ω R n. Here ˆq is the fourier transform of q. So ˆq(ξ, τ) is known in { (ξ, τ) : ξ R n, τ R, τ < ξ }, which contains an open set 7 R n
10 in R n R. Since ˆq(ξ, τ) is analytic in the variables ξ and τ, the above information is enough to recover ˆq everywhere, hence q may be recovered. ACKNOWLEDGEMENTS: The second author thanks NSF and ONR for support for this work, and Professor J. Sjöstrand and Dr. P Stefanov for discussions related to this problem. Professor Sjöstrand and Dr. Stefanov showed the authors different proofs of uniqueness results similar to Theorem A for the case when q(x, t) C. References [1] G. Alessandrini. Stable determination of conductivity by boundary measurements, Appl. Anal., 27, (1988). [2] L. Hörmander. The Analysis of Linear Partial Differential Operators III, Springer- Verlag, New York, (1985). [3] Victor Isakov. Completeness of products of solutions and some inverse problems for PDE, preprint, (1989). [4] Rakesh. Reconstruction for an inverse problem for the wave equation, preprint, (1989). [5] Rakesh and William W. Symes. Uniqueness for an inverse problem for the wave equation, Comm. in PDE, 13(1), (1988). [6] A. G. Ramm. A uniqueness theorem for a boundary inverse problem, Inverse Problem, 4, L1-5 (1988). [7] V. G. Romanov. Integral Geometry and Inverse Problems for Hyperbolic Equations. Springer Verlag, New York, (1974). [8] J. Sjöstrand. private communication, (1989). [9] P. Stefanov. Uniqueness of the multidimensional inverse scattering problem for time dependent potentials, Math. Z., 21, (1989). [1] J. Sylvester and G. Uhlmann. A global uniqueness theorem for an inverse boundary value problem, Annals of Mathematics, 125 (1987), [11] Ziqi Sun. On continuous dependence of an inverse initial boundary value problem of wave equation, preprint, (1988). 8
On uniqueness in the inverse conductivity problem with local data
On uniqueness in the inverse conductivity problem with local data Victor Isakov June 21, 2006 1 Introduction The inverse condictivity problem with many boundary measurements consists of recovery of conductivity
More informationSurvey of Inverse Problems For Hyperbolic PDEs
Survey of Inverse Problems For Hyperbolic PDEs Rakesh Department of Mathematical Sciences University of Delaware Newark, DE 19716, USA Email: rakesh@math.udel.edu January 14, 2011 1 Problem Formulation
More informationComplex geometrical optics solutions for Lipschitz conductivities
Rev. Mat. Iberoamericana 19 (2003), 57 72 Complex geometrical optics solutions for Lipschitz conductivities Lassi Päivärinta, Alexander Panchenko and Gunther Uhlmann Abstract We prove the existence of
More informationIncreasing stability in an inverse problem for the acoustic equation
Increasing stability in an inverse problem for the acoustic equation Sei Nagayasu Gunther Uhlmann Jenn-Nan Wang Abstract In this work we study the inverse boundary value problem of determining the refractive
More informationAn inverse scattering problem in random media
An inverse scattering problem in random media Pedro Caro Joint work with: Tapio Helin & Matti Lassas Computational and Analytic Problems in Spectral Theory June 8, 2016 Outline Introduction and motivation
More informationInverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds
Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Raphael Hora UFSC rhora@mtm.ufsc.br 29/04/2014 Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/2014
More informationThe X-ray transform for a non-abelian connection in two dimensions
The X-ray transform for a non-abelian connection in two dimensions David Finch Department of Mathematics Oregon State University Corvallis, OR, 97331, USA Gunther Uhlmann Department of Mathematics University
More informationIntegro-differential equations: Regularity theory and Pohozaev identities
Integro-differential equations: Regularity theory and Pohozaev identities Xavier Ros Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya PhD Thesis Advisor: Xavier Cabré Xavier
More informationProceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005
Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005 SOME INVERSE SCATTERING PROBLEMS FOR TWO-DIMENSIONAL SCHRÖDINGER
More informationSome issues on Electrical Impedance Tomography with complex coefficient
Some issues on Electrical Impedance Tomography with complex coefficient Elisa Francini (Università di Firenze) in collaboration with Elena Beretta and Sergio Vessella E. Francini (Università di Firenze)
More informationWELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 13, pp. 1 15. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL
More informationCOMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS
COMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS MIKKO SALO AND JENN-NAN WANG Abstract. This work is motivated by the inverse conductivity problem of identifying an embedded object in
More informationA SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY
A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is
More informationMonotonicity arguments in electrical impedance tomography
Monotonicity arguments in electrical impedance tomography Bastian Gebauer gebauer@math.uni-mainz.de Institut für Mathematik, Joh. Gutenberg-Universität Mainz, Germany NAM-Kolloquium, Georg-August-Universität
More informationInverse problems for hyperbolic PDEs
Inverse problems for hyperbolic PDEs Lauri Oksanen University College London Example: inverse problem for the wave equation Let c be a smooth function on Ω R n and consider the wave equation t 2 u c 2
More informationComments on the letter of P.Sabatier
Comments on the letter of P.Sabatier ALEXANDER G. RAMM Mathematics Department, Kansas State University, Manhattan, KS 66506-2602, USA ramm@math.ksu.edu Aug. 22, 2003. Comments on the letter of P.Sabatier,
More informationA numerical algorithm for solving 3D inverse scattering problem with non-over-determined data
A numerical algorithm for solving 3D inverse scattering problem with non-over-determined data Alexander Ramm, Cong Van Department of Mathematics, Kansas State University, Manhattan, KS 66506, USA ramm@math.ksu.edu;
More informationOn polynomially integrable convex bodies
On polynomially integrable convex bodies A. oldobsky, A. Merkurjev, and V. Yaskin Abstract An infinitely smooth convex body in R n is called polynomially integrable of degree N if its parallel section
More informationThe Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge
The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationDiffusion on the half-line. The Dirichlet problem
Diffusion on the half-line The Dirichlet problem Consider the initial boundary value problem (IBVP) on the half line (, ): v t kv xx = v(x, ) = φ(x) v(, t) =. The solution will be obtained by the reflection
More informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
More informationAn inverse source problem in optical molecular imaging
An inverse source problem in optical molecular imaging Plamen Stefanov 1 Gunther Uhlmann 2 1 2 University of Washington Formulation Direct Problem Singular Operators Inverse Problem Proof Conclusion Figure:
More informationA collocation method for solving some integral equations in distributions
A collocation method for solving some integral equations in distributions Sapto W. Indratno Department of Mathematics Kansas State University, Manhattan, KS 66506-2602, USA sapto@math.ksu.edu A G Ramm
More informationHeat Transfer in a Medium in Which Many Small Particles Are Embedded
Math. Model. Nat. Phenom. Vol. 8, No., 23, pp. 93 99 DOI:.5/mmnp/2384 Heat Transfer in a Medium in Which Many Small Particles Are Embedded A. G. Ramm Department of Mathematics Kansas State University,
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationMath 220A - Fall 2002 Homework 5 Solutions
Math 0A - Fall 00 Homework 5 Solutions. Consider the initial-value problem for the hyperbolic equation u tt + u xt 0u xx 0 < x 0 u t (x, 0) ψ(x). Use energy methods to show that the domain of dependence
More informationFinal: Solutions Math 118A, Fall 2013
Final: Solutions Math 118A, Fall 2013 1. [20 pts] For each of the following PDEs for u(x, y), give their order and say if they are nonlinear or linear. If they are linear, say if they are homogeneous or
More informationReconstruction Scheme for Active Thermography
Reconstruction Scheme for Active Thermography Gen Nakamura gnaka@math.sci.hokudai.ac.jp Department of Mathematics, Hokkaido University, Japan Newton Institute, Cambridge, Sept. 20, 2011 Contents.1.. Important
More informationOn Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations
On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations G. Seregin, V. Šverák Dedicated to Vsevolod Alexeevich Solonnikov Abstract We prove two sufficient conditions for local regularity
More informationGradient estimates for eigenfunctions on compact Riemannian manifolds with boundary
Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D 21218 Abstract The purpose of this paper is
More informationQ. Zou and A.G. Ramm. Department of Mathematics, Kansas State University, Manhattan, KS 66506, USA.
Computers and Math. with Applic., 21 (1991), 75-80 NUMERICAL SOLUTION OF SOME INVERSE SCATTERING PROBLEMS OF GEOPHYSICS Q. Zou and A.G. Ramm Department of Mathematics, Kansas State University, Manhattan,
More informationNonlinear Diffusion in Irregular Domains
Nonlinear Diffusion in Irregular Domains Ugur G. Abdulla Max-Planck Institute for Mathematics in the Sciences, Leipzig 0403, Germany We investigate the Dirichlet problem for the parablic equation u t =
More informationLecture 9 February 2, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 9 February 2, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda:
More informationA G Ramm, Implicit Function Theorem via the DSM, Nonlinear Analysis: Theory, Methods and Appl., 72, N3-4, (2010),
A G Ramm, Implicit Function Theorem via the DSM, Nonlinear Analysis: Theory, Methods and Appl., 72, N3-4, (21), 1916-1921. 1 Implicit Function Theorem via the DSM A G Ramm Department of Mathematics Kansas
More informationClassification of Solutions for an Integral Equation
Classification of Solutions for an Integral Equation Wenxiong Chen Congming Li Biao Ou Abstract Let n be a positive integer and let 0 < α < n. Consider the integral equation u(x) = R n x y u(y)(n+α)/()
More informationSingular boundary value problems
Department of Mathematics, Faculty of Science, Palacký University, 17. listopadu 12, 771 46 Olomouc, Czech Republic, e-mail: irena.rachunkova@upol.cz Malá Morávka, May 2012 Overview of our common research
More informationThe heat equation in time dependent domains with Neumann boundary conditions
The heat equation in time dependent domains with Neumann boundary conditions Chris Burdzy Zhen-Qing Chen John Sylvester Abstract We study the heat equation in domains in R n with insulated fast moving
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationMETHODS AND APPLICATIONS OF ANALYSIS. Vol. 17, No. 4, pp , December 2010
METHODS AND APPLICATIONS OF ANALYSIS. Vol. 17, No. 4, pp. 1 12, December 21 c 21 International Press x ON AN INVERSE PROBLEM OF RECONSTRUCTING AN UNKNOWN COEFFICIENT IN A SECOND ORDER HYPERBOLIC EQUATION
More informationCONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES. Jong Soo Jung. 1. Introduction
Korean J. Math. 16 (2008), No. 2, pp. 215 231 CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES Jong Soo Jung Abstract. Let E be a uniformly convex Banach space
More informationALEKSANDROV-TYPE ESTIMATES FOR A PARABOLIC MONGE-AMPÈRE EQUATION
Electronic Journal of Differential Equations, Vol. 2005(2005), No. 11, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) ALEKSANDROV-TYPE
More informationA method for creating materials with a desired refraction coefficient
This is the author s final, peer-reviewed manuscript as accepted for publication. The publisher-formatted version may be available through the publisher s web site or your institution s library. A method
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationMATH 220: Problem Set 3 Solutions
MATH 220: Problem Set 3 Solutions Problem 1. Let ψ C() be given by: 0, x < 1, 1 + x, 1 < x < 0, ψ(x) = 1 x, 0 < x < 1, 0, x > 1, so that it verifies ψ 0, ψ(x) = 0 if x 1 and ψ(x)dx = 1. Consider (ψ j )
More informationSOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES
Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationA new proof of the analyticity of the electronic density of molecules.
A new proof of the analyticity of the electronic density of molecules. Thierry Jecko AGM, UMR 8088 du CNRS, Université de Cergy-Pontoise, Département de mathématiques, site de Saint Martin, 2 avenue Adolphe
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationOn stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form
On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight
More informationis measured (n is the unit outward normal) at the boundary, to define the Dirichlet-
SIAM J MATH ANAL Vol 45, No 5, pp 700 709 c 013 Society for Industrial and Applied Mathematics ON A CALDERÓN PROBLEM IN FREQUENCY DIFFERENTIAL ELECTRICAL IMPEDANCE TOMOGRAPHY SUNGWHAN KIM AND ALEXANDRU
More informationUniversity of North Carolina at Charlotte Charlotte, USA Norwegian Institute of Science and Technology Trondheim, Norway
1 A globally convergent numerical method for some coefficient inverse problems Michael V. Klibanov, Larisa Beilina University of North Carolina at Charlotte Charlotte, USA Norwegian Institute of Science
More informationResearch Article On a Hyperbolic Coefficient Inverse Problem via Partial Dynamic Boundary Measurements
Applied Mathematics Volume 21, Article ID 561395, 14 pages doi:1.1155/21/561395 Research Article On a Hyperbolic Coefficient Inverse Problem via Partial Dynamic Boundary Measurements Christian Daveau,
More informationA note on W 1,p estimates for quasilinear parabolic equations
200-Luminy conference on Quasilinear Elliptic and Parabolic Equations and Systems, Electronic Journal of Differential Equations, Conference 08, 2002, pp 2 3. http://ejde.math.swt.edu or http://ejde.math.unt.edu
More informationExact controllability of the superlinear heat equation
Exact controllability of the superlinear heat equation Youjun Xu 1,2, Zhenhai Liu 1 1 School of Mathematical Sciences and Computing Technology, Central South University, Changsha, Hunan 410075, P R China
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationComm. Nonlin. Sci. and Numer. Simul., 12, (2007),
Comm. Nonlin. Sci. and Numer. Simul., 12, (2007), 1390-1394. 1 A Schrödinger singular perturbation problem A.G. Ramm Mathematics Department, Kansas State University, Manhattan, KS 66506-2602, USA ramm@math.ksu.edu
More information[2] (a) Develop and describe the piecewise linear Galerkin finite element approximation of,
269 C, Vese Practice problems [1] Write the differential equation u + u = f(x, y), (x, y) Ω u = 1 (x, y) Ω 1 n + u = x (x, y) Ω 2, Ω = {(x, y) x 2 + y 2 < 1}, Ω 1 = {(x, y) x 2 + y 2 = 1, x 0}, Ω 2 = {(x,
More informationPhoto-Acoustic imaging in layered media
Photo-Acoustic imaging in layered media Faouzi TRIKI Université Grenoble-Alpes, France (joint works with Kui Ren, Texas at Austin, USA.) 4 juillet 2016 Photo-Acoustic effect Photo-Acoustic effect (Bell,
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationSome Integral Inequalities with Maximum of the Unknown Functions
Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 6, Number 1, pp. 57 69 2011 http://campus.mst.edu/adsa Some Integral Inequalities with Maximum of the Unknown Functions Snezhana G.
More informationAsymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends
Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends Kenichi ITO (University of Tokyo) joint work with Erik SKIBSTED (Aarhus University) 3 July 2018 Example: Free
More informationThe Support of a Far Field
The Support of a Far Field John Sylvester University of Washington sylvest@math.washington.edu http://www.math.washington.edu/ sylvest/ Gratefully acknowledge research support from ONR and NSF Inverse
More informationELECTROMAGNETIC SCATTERING FROM PERTURBED SURFACES. Katharine Ott Advisor: Irina Mitrea Department of Mathematics University of Virginia
ELECTROMAGNETIC SCATTERING FROM PERTURBED SURFACES Katharine Ott Advisor: Irina Mitrea Department of Mathematics University of Virginia Abstract This paper is concerned with the study of scattering of
More informationLecture 19: Heat conduction with distributed sources/sinks
Introductory lecture notes on Partial Differential Equations - c Anthony Peirce. Not to be copied, used, or revised without explicit written permission from the copyright owner. 1 ecture 19: Heat conduction
More informationDETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION
DETERMINATION OF THE LOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION y FRANK MERLE and HATEM ZAAG Abstract. In this paper, we find the optimal blow-up rate for the semilinear wave equation with a power nonlinearity.
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More informationDynamical systems method (DSM) for selfadjoint operators
Dynamical systems method (DSM) for selfadjoint operators A.G. Ramm Mathematics Department, Kansas State University, Manhattan, KS 6656-262, USA ramm@math.ksu.edu http://www.math.ksu.edu/ ramm Abstract
More informationWavelet moment method for Cauchy problem for the Helmholtz equation
Wavelet moment method for Cauchy problem for the Helmholtz equation Preliminary report Teresa Regińska, Andrzej Wakulicz December 9, 2005 - Institute of Mathematics, Polish Academy of Sciences, e-mail:
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationOBSERVABILITY INEQUALITIES AND MEASURABLE SETS J. APRAIZ, L. ESCAURIAZA, G. WANG, AND C. ZHANG
OBSERVABILITY INEQUALITIES AND MEASURABLE SETS J. APRAIZ, L. ESCAURIAZA, G. WANG, AND C. ZHANG Abstract. This paper presents two observability inequalities for the heat equation over 0, T ). In the first
More informationHausdorff operators in H p spaces, 0 < p < 1
Hausdorff operators in H p spaces, 0 < p < 1 Elijah Liflyand joint work with Akihiko Miyachi Bar-Ilan University June, 2018 Elijah Liflyand joint work with Akihiko Miyachi (Bar-Ilan University) Hausdorff
More informationSmoothing Effects for Linear Partial Differential Equations
Smoothing Effects for Linear Partial Differential Equations Derek L. Smith SIAM Seminar - Winter 2015 University of California, Santa Barbara January 21, 2015 Table of Contents Preliminaries Smoothing
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationThe Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition
The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of
More informationA PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION
A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION TERENCE TAO Abstract. Let d 1, and let u, v : R R d C be Schwartz space solutions to the Schrödinger
More informationON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP
Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give
More informationThis article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and education use, including for instruction at the author s institution, sharing
More informationExponential Energy Decay for the Kadomtsev-Petviashvili (KP-II) equation
São Paulo Journal of Mathematical Sciences 5, (11), 135 148 Exponential Energy Decay for the Kadomtsev-Petviashvili (KP-II) equation Diogo A. Gomes Department of Mathematics, CAMGSD, IST 149 1 Av. Rovisco
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationResearch Statement. Xiangjin Xu. 1. My thesis work
Research Statement Xiangjin Xu My main research interest is twofold. First I am interested in Harmonic Analysis on manifolds. More precisely, in my thesis, I studied the L estimates and gradient estimates
More informationA CALDERÓN PROBLEM WITH FREQUENCY-DIFFERENTIAL DATA IN DISPERSIVE MEDIA. has a unique solution. The Dirichlet-to-Neumann map
A CALDERÓN PROBLEM WITH FREQUENCY-DIFFERENTIAL DATA IN DISPERSIVE MEDIA SUNGWHAN KIM AND ALEXANDRU TAMASAN ABSTRACT. We consider the problem of identifying a complex valued coefficient γ(x, ω) in the conductivity
More informationRecovering point sources in unknown environment with differential data
Recovering point sources in unknown environment with differential data Yimin Zhong University of Texas at Austin April 29, 2013 Introduction Introduction The field u satisfies u(x) + k 2 (1 + n(x))u(x)
More informationMathias Jais CLASSICAL AND WEAK SOLUTIONS FOR SEMILINEAR PARABOLIC EQUATIONS WITH PREISACH HYSTERESIS
Opuscula Mathematica Vol. 28 No. 1 28 Mathias Jais CLASSICAL AND WEAK SOLUTIONS FOR SEMILINEAR PARABOLIC EQUATIONS WITH PREISACH HYSTERESIS Abstract. We consider the solvability of the semilinear parabolic
More informationConservative Control Systems Described by the Schrödinger Equation
Conservative Control Systems Described by the Schrödinger Equation Salah E. Rebiai Abstract An important subclass of well-posed linear systems is formed by the conservative systems. A conservative system
More informationON THE GLOBAL EXISTENCE OF A CROSS-DIFFUSION SYSTEM. Yuan Lou. Wei-Ming Ni. Yaping Wu
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS Volume 4, Number 2, April 998 pp. 93 203 ON THE GLOBAL EXISTENCE OF A CROSS-DIFFUSION SYSTEM Yuan Lou Department of Mathematics, University of Chicago Chicago,
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationEMBEDDING OPERATORS AND BOUNDARY-VALUE PROBLEMS FOR ROUGH DOMAINS
EMBEDDING OPERATORS AND BOUNDARY-VALUE PROBLEMS FOR ROUGH DOMAINS Vladimir M. GOL DSHTEIN Mathematics Department, Ben Gurion University of the Negev P.O.Box 653, Beer Sheva, 84105, Israel, vladimir@bgumail.bgu.ac.il
More informationOn an Approximation Result for Piecewise Polynomial Functions. O. Karakashian
BULLETIN OF THE GREE MATHEMATICAL SOCIETY Volume 57, 010 (1 7) On an Approximation Result for Piecewise Polynomial Functions O. arakashian Abstract We provide a new approach for proving approximation results
More informationEntropy and Relative Entropy
Entropy and Relative Entropy Joshua Ballew University of Maryland October 24, 2012 Outline Hyperbolic PDEs Entropy/Entropy Flux Pairs Relative Entropy Weak-Strong Uniqueness Weak-Strong Uniqueness for
More informationThe spherical mean value operator with centers on a sphere
The spherical mean value operator with centers on a sphere David Finch Department of Mathematics Oregon State University Corvallis, OR 9733-465 Email: finch@math.oregonstate.edu Rakesh Department of Mathematics
More informationPARTIAL DIFFERENTIAL EQUATIONS (MATH417) SOLUTIONS FOR THE FINAL EXAM
PARTIAL DIFFERENTIAL EQUATIONS (MATH417) SOLUTIONS FOR THE FINAL EXAM Problem 1 (1 pts.) Classify each equation as linear homogeneous, linear inhomogeneous, or nonlinear: a) u = u x + x 3 b) u + u c) u
More informationFinding discontinuities of piecewise-smooth functions
Finding discontinuities of piecewise-smooth functions A.G. Ramm Mathematics Department, Kansas State University, Manhattan, KS 66506-2602, USA ramm@math.ksu.edu Abstract Formulas for stable differentiation
More informationNew Proof of Hörmander multiplier Theorem on compact manifolds without boundary
New Proof of Hörmander multiplier Theorem on compact manifolds without boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D, 21218, USA xxu@math.jhu.edu Abstract On compact
More informationStability and instability in inverse problems
Stability and instability in inverse problems Mikhail I. Isaev supervisor: Roman G. Novikov Centre de Mathématiques Appliquées, École Polytechnique November 27, 2013. Plan of the presentation The Gel fand
More information