Reconstruction in the Calderón Problem with Partial Data

We consider the problem of recovering the coefficient σ(x) of the elliptic equation ?·(σ?u) = 0 in a body from measurements of the Cauchy data on possibly very small subsets of its surface. We give a constructive proof of a uniqueness result by Kenig, Sjöstrand, and Uhlmann. We construct a uniquely specified family of solutions such that their traces on the boundary can be calculated by solving an integral equation which involves only the given partial Cauchy data. The construction entails a new family of Green's functions for the Laplacian, and corresponding single layer potentials, which may be of independent interest.     

Dirichlet duality and the nonlinear Dirichlet problem

We study the Dirichlet problem for fully nonlinear, degenerate elliptic equations of the form F (Hess u) = 0 on a smoothly bounded domain Ω ? ?ⁿ. In our approach the equation is replaced by a subset F ? Sym²(?ⁿ) of the symmetric n × n matrices with ?F ? { F = 0}. We establish the existence and uniqueness of continuous solutions under an explicit geometric “F‐convexity” assumption on the boundary ?Ω. We also study the topological structure of F‐convex domains and prove a theorem of Andreotti‐Frankel type. Two key ingredients in the analysis are the use of “subaffine functions” and “Dirichlet duality.” Associated to F is a Dirichlet dual set F? that gives a dual Dirichlet problem. This pairing is a true duality in that the dual of F? is F, and in the analysis the roles of F and F? are interchangeable. The duality also clarifies many features of the problem including the appropriate conditions on the boundary. Many interesting examples are covered by these results including: all branches of the homogeneous Monge‐Ampère equation over ?, ?, and ?; equations appearing naturally in calibrated geometry, Lagrangian geometry, and p‐convex Riemannian geometry; and all branches of the special Lagrangian potential equation. © 2008 Wiley Periodicals, Inc.     

The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions

Let Ω be a bounded C² domain in ?ⁿ and ? ?Ω → ?^m be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map f : Ω → ?^m with f|_?Ω = ? and with the graph of f a minimal submanifold in ?^n+m. For m = 1, the Dirichlet problem was solved more than 30 years ago by Jenkins and Serrin [12] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension m. We prove that if ψ : ¯Ω → ?^m satisfies 8nδ sup_Ω |D²ψ| + √2 sup_?Ω |Dψ| < 1, then the Dirichlet problem for ψ|_?Ω is solvable in smooth maps. Here δ is the diameter of Ω. Such a condition is necessary in view of an example of Lawson and Osserman [13]. In order to prove this result, we study the associated parabolic system and solve the Cauchy‐Dirichlet problem with ψ as initial data. © 2003 Wiley Periodicals, Inc.     

On the Cauchy Problem of the Camassa-Holm Equation

The purpose of this paper is to investigate the Cauchy problem of the Camassa-Holm equation. By using the abstract method proposed and studied by T. Kato and priori estimates, the existence and uniqueness of the global solution to the Cauchy problem of the Camassa-Holm equation in L ^p frame under certain conditions are obtained. In addition, the continuous dependence of the solution of this equation on the linear dispersive coefficient contained in the equation is obtained.     

Differential stability of solutions to parametric optimization problems

A method for the differential stability of solutions to a class of solutions to a class of parametric optimization problem is prposed. Any solution of the parametric optimization problem is given as a fixed point of the metric projection onto the set of admissible coefficients. A new result on the differential stability of the metric projection in Sobolev space H²(Ω)onto a set of admissible parameters is obtained. The stability results with respect to perturbations of observations for the solutions to a coefficient estimation problem for a second-order elliptic equation are derived.     

Solution of boundary-value problems for elliptic equations in the space of distributions

We extend the well-known approach to solution of generalized boundary-value problems for second-order elliptic and parabolic equations and for second-order strongly elliptic systems of variational type to the case of a general normal boundary-value problem for an elliptic equation of order2m. The representation of a distribution from (C ^∞ (S))’ is established and is usedfor the proof of convergence of an approximate method of solution of a normal elliptic boundary-value problem in unnormed spaces of distributions.     

A degenerate hyperbolic equation under Levi conditions

Abstract We consider the Cauchy problem for a second order equation of hyperbolic type. This equation degenerates in two different ways. On one hand, the coefficients have a bad behavior with respect to time: there is a blow-up phenomenon in the first time derivative of the principal part’s coefficients, that is the derivative vanishes at the time t=0. On the other hand, the equation is weakly hyperbolic and the multiplicity of the roots is not constant, but zeroes are of finite order. Here we overcome the blow-up problem and, moreover, the finitely degeneration of the Cauchy problem allows us to give an appropriate Levi condition on the lower order terms in order to get C^∞ well posedness of the Cauchy problem. Keywords: Cauchy problem, Hyperbolic equations, Levi conditions     

Application of Rothe’s Method to a Parabolic Inverse Problem with Nonlocal Boundary Condition

We consider an inverse problem for the determination of a purely time-dependent source in a semilinear parabolic equation with a nonlocal boundary condition. An approximation scheme for the solution together with the well-posedness of the problem with the initial value u₀ ∈ H¹(Ω) is presented by means of the Rothe time-discretization method. Further approximation scheme via Rothe’s method is constructed for the problem when u₀ ∈ L²(Ω) and the integral kernel in the nonlocal boundary condition is symmetric.

     

Missing boundary data reconstruction by the factorization method

We consider the data completion problem for the Laplace equation in a cylindrical domain. The Neumann and Dirichlet boundary conditions are given on one face of the cylinder while there is no condition on the other face. This Cauchy problem has been known since Hadamard (1953) to be ill-posed. Here it is set as an optimal control problem with a regularized cost function. We use the factorization method for elliptic boundary value problems. For each set of Cauchy data, to obtain the estimate of the missing data one has to solve a parabolic Cauchy problem in the cylinder and a linear equation. The operator appearing in these problems satisfy a Riccati equation that does not depend on the data. To cite this article: A. Ben Abda et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

Finite volume method for the variational inequalities of first and second kinds

We propose and analyze the finite volume method for solving the variational inequalities of first and second kinds. The stability and convergence analysis are given for this method. For the elliptic obstacle problem, we derive the optimal error estimate in the H¹‐norm. For the simplified friction problem, we establish an abstract H¹‐error estimate, which implies the convergence if the exact solution u∈H¹(Ω) and the optimal error estimate if u∈H^{1 + α}(Ω),0 < α≤2. Copyright © 2015 John Wiley & Sons, Ltd.     

Quadrature surfaces as free boundaries

This paper deals with a free boundary porblem connected with the concept “quadrature surface”. Let Ω?R ⁿ be a bounded domain with aC ² boundary and μ a measure compactly supported in Ω. Then we say ?Ω is a quadrature surface with respect to μ if the following overdetermined Cauchy problem has a solution. $$\Delta u = - \mu in \Omega ,u = 0 and \frac{{\partial u}}{{\partial v}} = - 1 on \partial \Omega .$$ Applying simple techniques, we derive basic inequalities and show uniform boundedness for the set of solutions. Distance estimates as well as uniqueness results are obtained in special cases, e.g. we show that if ?Ω and ?D are two quadrature surfaces for a fixed measure μ and Ω is convex, thenD?Ω. The main observation, however, is that if ?Ω is a quadrature surface for μ≥0 andxε?Ω, then the inward normal ray to ?Ω atx intersects the convex hull of supp μ. We also study relations between quadrature surfaces and quadrature domains.D is said to be a quadrature domain with respect to a mesure μ if there is a solution to the following overdetermined Cauchy problem: $$\Delta u = 1 - \mu in D, andu = |\nabla u| = 0 on \partial D.$$ Finally, we apply our results to a problem of electrochemical machining.     

Finite energy solutions of self‐adjoint elliptic mixed boundary value problems

This paper describes existence, uniqueness and special eigenfunction representations of H¹‐solutions of second order, self‐adjoint, elliptic equations with both interior and boundary source terms. The equations are posed on bounded regions with Dirichlet conditions on part of the boundary and Neumann conditions on the complement. The system is decomposed into separate problems defined on orthogonal subspaces of H¹(Ω). One problem involves the equation with the interior source term and the Neumann data. The other problem just involves the homogeneous equation with Dirichlet data. Spectral representations of the solution operators for each of these problems are found. The solutions are described using bases that are, respectively, eigenfunctions of the differential operator with mixed null boundary conditions, and certain mixed Steklov eigenfunctions. These series converge strongly in H¹(Ω). Necessary and sufficient conditions for the Dirichlet part of the boundary data to have a finite energy extension are described. The solutions for a problem that models a cylindrical capacitor is found explicitly. Copyright © 2009 John Wiley & Sons, Ltd.     

Solvability,asymptotic analysis and regularity results for a mixed type interaction problem of acoustic waves and piezoelectric structures

In the paper, we investigate the mixed type transmission problem arising in the model of fluid–solid acoustic interaction when a piezoceramic elastic body (Ω⁺) is embedded in an unbounded fluid domain (Ω^?). The corresponding physical process is described by the boundary‐transmission problem for second‐order partial differential equations. In particular, in the bounded domain Ω⁺, we have a 4×4 dimensional matrix strongly elliptic second‐order partial differential equation, while in the unbounded complement domain Ω^?, we have a scalar Helmholtz equation describing acoustic wave propagation. The physical kinematic and dynamic relations mathematically are described by appropriate boundary and transmission conditions. With the help of the potential method and theory of pseudodifferential equations based on the Wiener–Hopf factorization method, the uniqueness and existence theorems are proved in Sobolev–Slobodetskii spaces. We derive asymptotic expansion of solutions, and on the basis of asymptotic analysis, we establish optimal Hölder smoothness results for solutions. Copyright © 2017 John Wiley & Sons, Ltd.     

A stability estimate for an elliptic problem

We investigate the Caucy problem for linear elliptic operators withC ^∞-coefficients at a regular domain ℝ ⊂ ℝ, which is a classical example of an ill-posed problem. The Cauchy data are given at the manifold Γ⊂∂Ω and our goal is to obtain a stability estimate inH ₄(Ω).     

Boundary blow-up solutions for a class of quasilinear elliptic equations

For a given bounded domain Ω in R ^N with smooth boundary ?Ω, we give sufficient conditions on f so that the m-Laplacian equation △ _m u = f(x, u, ?u) admits a boundary blow-up solution u ∈ W ^1,p (Ω). Our main results are new and extend the results in J.V. Concalves and Angelo Roncalli [Boundary blow-up solutions for a class of elliptic equations on a bounded domain, Appl. Math. Comput. 182 (2006), pp. 13–23]. Our approach employs the method of lower–upper solution theorem, fixed point theory and weak comparison principle.     

The Complexity of Definite Elliptic Problems with Noisy Data

We study the complexity of 2mth order definite elliptic problemsLu=f(with homogeneous Dirichlet boundary conditions) over ad-dimensional domain Ω, error being measured in theH^m(Ω)-norm. The problem elementsfbelong to the unit ball ofW^r,p(Ω), wherep∈ [2, ∞] andr>d/p. Information consists of (possibly adaptive) noisy evaluations offor the coefficients ofL. The absolute error in each noisy evaluation is at most δ. We find that thenth minimal radius for this problem is proportional ton^−r/d+ δ, and that a noisy finite element method with quadrature (FEMQ), which uses only function values, and not derivatives, is a minimal error algorithm. This noisy FEMQ can be efficiently implemented using multigrid techniques. Using these results, we find tight bounds on the ?-complexity (minimal cost of calculating an ?-approximation) for this problem, said bounds depending on the costc(δ) of calculating a δ-noisy information value. As an example, if the cost of a δ-noisy evaluation isc(δ) = δ^−s(fors> 0), then the complexity is proportional to (1/?)^d/r+s.     

Spectral Galerkin method and its application to a Cauchy problem of Helmholtz equation

Based on a mathematical model of laser beams, we present a spectral Galerkin method for solving a Cauchy problem of the Helmholtz equation in a rectangle, where the Cauchy data pairs are given at y?=?0 and boundary data are for x?=?0 and x?=?π. The solution is sought in the interval 0?<?y?<?1. The spectral Galerkin method is considered as a regularization method. We then perform an analysis on the error bound for this method. For illustration, several numerical experiments are constructed to demonstrate the feasibility and efficiency of the proposed method.     

Scalar curvature type problem on the three dimensional bounded domain

In this paper we prove an existence result for the nonlinear elliptic problem:-△u = Ku~5,u 0 in Ω,u = 0 on?Ω,where Ω is a smooth bounded domain of R~3 and K is a positive function in Ω.Our method relies on studying its corresponding subcritical approximation problem and then using a topological argument.