-
The interior Backus problem: local resolution in Hölder spaces
Authors:
Toru Kan,
Rolando Magnanini,
Michiaki Onodera
Abstract:
We prove an existence result for the Backus interior problem in the Euclidean ball. The problem consists in determining a harmonic function in the ball from the knowledge of the modulus of its gradient on the boundary. The problem is severely nonlinear. From a physical point of view, the problem can be interpreted as the determination of the velocity potential of an incompressible and irrotational…
▽ More
We prove an existence result for the Backus interior problem in the Euclidean ball. The problem consists in determining a harmonic function in the ball from the knowledge of the modulus of its gradient on the boundary. The problem is severely nonlinear. From a physical point of view, the problem can be interpreted as the determination of the velocity potential of an incompressible and irrotational fluid inside the ball from measurements of the velocity field's modulus on the boundary. The linearized problem is an irregular oblique derivative problem, for which a phenomenon of loss of derivatives occurs. As a consequence, a solution by linearization of the Backus problem becomes problematic. Here, we linearize the problem around the vertical height solution and show that the loss of derivatives does not occur for solutions which are either (vertically) axially symmetric or oddly symmetric in the vertical direction. A standard fixed point argument is then feasible, based on ad hoc weighted estimates in Hölder spaces.
△ Less
Submitted 27 August, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Backus problem in geophysics: a resolution near the dipole in fractional Sobolev spaces
Authors:
Toru Kan,
Rolando Magnanini,
Michiaki Onodera
Abstract:
We consider Backus's problem in geophysics. This consists in reconstructing a harmonic potential outside the Earth when the intensity of the related field is measured on the Earth's surface. Thus, the boundary condition is (severely) nonlinear. The gravitational case is quite understood. It consists in the local resolution near a monopole, i.e. the potential generated by a point mass. In this pape…
▽ More
We consider Backus's problem in geophysics. This consists in reconstructing a harmonic potential outside the Earth when the intensity of the related field is measured on the Earth's surface. Thus, the boundary condition is (severely) nonlinear. The gravitational case is quite understood. It consists in the local resolution near a monopole, i.e. the potential generated by a point mass. In this paper, we consider the geomagnetic case. This consists in linearizing the field's intensity near the so-called dipole, a harmonic function which models the solenoidal potential of a magnet. The problem is quite difficult, because the resolving operator related to the linearized problem is generally unbounded. Indeed, existence results for Backus's problem in this framework are not present in the literature. In this work, we locally solve the geomagnetic version of Backus's problem in the axially symmetric case. In mathematical terms, we show the existence of harmonic functions in the exterior of a sphere, with given (boundary) field's intensity sufficiently close to that of a dipole and which have the same axial symmetry of a dipole. We also show that unique solutions can be selected by prescribing the average of the potential on the equatorial circle of the sphere. We obtain those solutions as series of spherical harmonics. The functional framework entails the use of fractional Sobolev Hilbert spaces on the sphere, endowed with a spectral norm. A crucial ingredient is the algebra structure of suitable subspaces.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Stability analysis of an overdetermined fourth order boundary value problem via an integral identity
Authors:
Yuya Okamoto,
Michiaki Onodera
Abstract:
We consider an overdetermined fourth order boundary value problem in which the boundary value of the Laplacian of the solution is prescribed, in addition to the homogeneous Dirichlet boundary condition. It is known that, in the case where the prescribed boundary value is a constant, this overdetermined problem has a solution if and only if the domain under consideration is a ball. In this paper, w…
▽ More
We consider an overdetermined fourth order boundary value problem in which the boundary value of the Laplacian of the solution is prescribed, in addition to the homogeneous Dirichlet boundary condition. It is known that, in the case where the prescribed boundary value is a constant, this overdetermined problem has a solution if and only if the domain under consideration is a ball. In this paper, we study the shape of a domain admitting a solution to the overdetermined problem when the prescribed boundary value is slightly perturbed from a constant. We derive an integral identity for the fourth order Dirichlet problem and a nonlinear weighted trace inequality, and the combination of them results in a quantitative stability estimate which measures the deviation of a domain from a ball in terms of the perturbation of the boundary value.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
Linear stability estimates for Serrin's problem via a modified implicit function theorem
Authors:
Alexandra Gilsbach,
Michiaki Onodera
Abstract:
We examine Serrin's classical overdetermined problem under a perturbation of the Neumann boundary condition. The solution of the problem for a constant Neumann boundary condition exists provided that the underlying domain is a ball. The question arises whether for a perturbation of the constant there still are domains admitting solutions to the problem. Furthermore, one may ask whether a domain th…
▽ More
We examine Serrin's classical overdetermined problem under a perturbation of the Neumann boundary condition. The solution of the problem for a constant Neumann boundary condition exists provided that the underlying domain is a ball. The question arises whether for a perturbation of the constant there still are domains admitting solutions to the problem. Furthermore, one may ask whether a domain that admits a solution for the perturbed problem is unique up to translation and whether it is close to the ball. We develop a new implicit function theorem for a pair of Banach triplets that is applicable to nonlinear problems with loss of derivatives except at the point under consideration. Combined with a detailed analysis of the linearized operator, we prove the existence and local uniqueness of a domain admitting a solution to the perturbed overdetermined problem. Moreover, an optimal linear stability estimate for the shape of a domain is established.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
Hyperbolic solutions to Bernoulli's free boundary problem
Authors:
Antoine Henrot,
Michiaki Onodera
Abstract:
Bernoulli's free boundary problem is an overdetermined problem in which one seeks an annular domain such that the capacitary potential satisfies an extra boundary condition. There exist two different types of solutions called elliptic and hyperbolic solutions. Elliptic solutions are ``stable'' solutions and tractable by variational methods and maximum principles, while hyperbolic solutions are ``u…
▽ More
Bernoulli's free boundary problem is an overdetermined problem in which one seeks an annular domain such that the capacitary potential satisfies an extra boundary condition. There exist two different types of solutions called elliptic and hyperbolic solutions. Elliptic solutions are ``stable'' solutions and tractable by variational methods and maximum principles, while hyperbolic solutions are ``unstable'' solutions of which the qualitative behavior is less known. We introduce a new implicit function theorem based on the parabolic maximal regularity, which is applicable to problems with loss of derivatives. Clarifying the spectral structure of the corresponding linearized operator by harmonic analysis, we prove the existence of foliated hyperbolic solutions as well as elliptic solutions in the same regularity class.
△ Less
Submitted 14 September, 2019;
originally announced September 2019.
-
Asymptotic analysis of solutions to a gauged O(3) sigma model
Authors:
Daniele Bartolucci,
Youngae Lee,
Chang-Shou Lin,
Michiaki Onodera
Abstract:
We analyze an elliptic equation arising in the study of the gauged O(3) sigma model with the Chern-Simons term. In this paper, we study the asymptotic behavior of solutions and apply it to prove the uniqueness of stable solutions. However, one of the features of this nonlinear equation is the existence of stable nontopological solutions in $\RN$, which implies the possibility that a stable solutio…
▽ More
We analyze an elliptic equation arising in the study of the gauged O(3) sigma model with the Chern-Simons term. In this paper, we study the asymptotic behavior of solutions and apply it to prove the uniqueness of stable solutions. However, one of the features of this nonlinear equation is the existence of stable nontopological solutions in $\RN$, which implies the possibility that a stable solution which blows up at a vortex point exists. To exclude this kind of blow up behavior is one of the main difficulties which we have to overcome.
△ Less
Submitted 18 March, 2013;
originally announced March 2013.
