[Paper Review] Carleman estimates for elliptic operators with complex coefficients Part II: transmission problems

Mourad Bellassoued, Jérôme Le Rousseau|arXiv (Cornell University)|May 9, 2016

Numerical methods in inverse problems28 references3 citations

TL;DR

This paper establishes microlocal and local Carleman estimates for second-order elliptic transmission problems with complex coefficients across an interface, under sub-ellipticity and extended transmission conditions. By using microlocal factorization of conjugated operators and introducing two large parameters (τ and γ), the authors derive explicit estimates with exponential weights, enabling applications to unique continuation and inverse problems in PDEs with complex coefficients.

ABSTRACT

We consider elliptic transmission problems with complex coefficients across an interface. Under proper transmission conditions, that extend known conditions for well-posedness, and sub-ellipticity we derive microlocal and local Carleman estimates near the interface. Carleman estimates are weighted a priori estimates of the solutions of the elliptic transmission problem. The weight is of exponential form, exp($tau$ ϕ) where $tau$ can be taken as large as desired. Such estimates have numerous applications in unique continuation, inverse problems, and control theory. The proof relies on microlocal factorizations of the symbols of the conjugated operators in connection with the sign of the imaginary part of their roots. We further consider weight functions where ϕ = exp($γ$$ψ$), with $γ$ acting as a second large paremeter, and we derive estimates where the dependency upon the two parameters, $tau$ and $γ$, is made explicit. Applications to unique continuation properties are given.

Motivation & Objective

• To derive Carleman estimates for elliptic transmission problems with complex coefficients across an interface.
• To extend transmission conditions that ensure well-posedness to the complex coefficient case.
• To establish microlocal and local Carleman estimates with explicit dependence on two large parameters τ and γ.
• To apply the estimates to prove unique continuation properties for solutions of transmission problems.
• To develop a two-parameter pseudo-differential calculus tailored for transmission problems with complex coefficients.

Proposed method

• The authors use microlocal factorization of the symbols of conjugated operators, based on the sign of the imaginary part of their roots.
• They introduce a weight function φ = exp(γψ), where γ acts as a second large parameter, to refine the dependence of the estimates on τ and γ.
• A system formulation in local coordinates near the interface allows for the derivation of transmission conditions in terms of operator symbols.
• The proof relies on constructing a conjugated operator and analyzing its principal symbol to establish strong pseudo-convexity.
• Sobolev norms with large parameters τ and γ are used to control the growth of derivatives in the weighted estimates.
• The analysis includes a reduction to local problems near the interface and uses commutator estimates to handle transmission operators.

Experimental results

Research questions

• RQ1 How can Carleman estimates be extended to elliptic transmission problems with complex coefficients across an interface?
• RQ2 What transmission conditions ensure well-posedness and compatibility with Carleman estimates in the complex coefficient case?
• RQ3 How can the dependence on two large parameters τ and γ be made explicit in Carleman estimates for transmission problems?
• RQ4 What is the role of sub-ellipticity in ensuring the validity of microlocal Carleman estimates?
• RQ5 To what extent do the derived estimates imply unique continuation for solutions of transmission problems?

Key findings

• The paper establishes a local Carleman estimate with exponential weight exp(τφ), where τ can be taken arbitrarily large, for solutions of elliptic transmission problems with complex coefficients.
• Explicit dependence on two large parameters τ and γ is derived, with φ = exp(γψ), enabling sharper control in microlocal analysis.
• The transmission conditions are extended to the complex case and shown to preserve well-posedness and compatibility with the Carleman framework.
• The estimates are applied to prove unique continuation properties under strong pseudo-convexity and transmission conditions.
• The method allows for the absorption of boundary terms via large γ, ensuring the estimates are robust and quantitative.
• The results generalize classical Carleman estimates to the transmission setting with complex coefficients, opening new avenues in inverse problems and control theory.