arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2607.04657

Gauge rigidity in an inverse problem for the prescribed Gaussian curvature equation

Yi-Hsuan Lin
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove a uniqueness result for an inverse boundary problem associated with the prescribed Gaussian curvature equation \[ \det D^2u=K(x)(1+|\nabla u|^2)^2 \] for graphs over a planar domain. The comparison is made on a common open class of smooth boundary values for which both admissible Dirichlet problems are well posed. We show that, if the corresponding nonlinear Dirichlet-to-Neumann maps agree on this class and the two prescribed curvatures have the same first boundary jet, then the curvatures agree in the whole domain. The main difficulty comes from a gauge obstruction already present at the first linearization. In logarithmic form, the linearized equation is a two-dimensional non-divergence form elliptic equation with drift. Its boundary data determine the coefficients only up to a boundary-fixing change of variables and a scalar gauge factor. For the prescribed Gaussian curvature equation this gauge is not an artifact of the method: the gradient dependence leaves a residual gauge which cannot be removed by the first variation. The proof uses the nonlinear structure to remove this remaining gauge. We derive a second-linearized interaction identity in the first-linearized gauge. In this identity, the covariant Hessian of the gauge map appears in the leading part. Testing the identity with two complementary CGO families gives a pair of residual equations for the gauge variables. Combined with the drift and conductivity identities from the first linearization, these equations form a closed system for the residual gauge. A boundary unique continuation argument for this system gives the trivial gauge and hence determines the prescribed curvature.

Explore related subjects

math.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yi-Hsuan Lin. 2026-07-06. Gauge rigidity in an inverse problem for the prescribed Gaussian curvature equation. https://arxiv.org/abs/2607.04657

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Blow-Up Dynamics for the $L^2$ critical case of the $2$D Zakharov-Kuznetsov equation

We study blow-up dynamics for the $L^2$-critical cubic Zakharov--Kuznetsov equation in two dimensions, \[ \partial_tu+\partial_{x_1}(Δu+u^3)=0 \qquad\text{on }\mathbb R^2. \] For a class of localized $H^1$ perturbations of the ground state $Q$, we establish a trichotomy near the soliton manifold: exit from a small $L^2$-tube, global asymptotic stability, or finite-time blow-up. In the stable blow-up regime, the solution concentrates a single bubble and \[ λ(t)\sim \ell_0(T-t)^{1/(3-c)}, \] where $\ell_0>0$ depends on the initial datum and $c\in(1,2)$ is an explicit constant determined by the transverse tail of the first-order approximate profile. Consequently, \[ \|\nabla u(t)\|_{L^2} \sim \frac{\|\nabla Q\|_{L^2}} {\ell_0(T-t)^{1/(3-c)}}. \] After subtraction of the concentrating soliton, the radiation converges strongly in $L^p(\mathbb R^2)$ for every $2\leq p<\infty$ to a common nonzero profile $u^*$, while \[ u^*\notin H^s(\mathbb R^2) \qquad\text{for every }s\geq\frac c2. \] The stable blow-up branch is open in the relative $H^1$ topology of the localized class. Finally, every non-soliton datum in this class with non-positive energy blows up in finite time. Interval-arithmetic computer-assisted proofs certify the numerical inputs to the virial coercivity argument. They also yield a rigorous enclosure of $c$, justifying the polynomial moment of order $21$ imposed on the initial data.

math.AP↗
arXiv2026

Propagation of wave packets close to conical intersections

In this paper, we study the propagation of wave packets close to conical intersections with respect to a system of two Schr{ö}dinger equations presenting a codimension 2 crossing. We focus on the dynamics that occur when the wave packets pass through an area close to the crossing, and our main results provide an explicit formula for the outgoing wave packet in terms of the incoming one, with a complete description of its phase and of the classical trajectories it follows, including a drift.

math.AP↗
arXiv2026

A Volterra Calculus for Lie Groupoids

A pseudodifferential Volterra calculus for inverting parabolic differential equations on Lie groupoids is introduced. This enables the study of fundamental solutions of various cases of heat flows on singular manifolds with corners with non-resonant boundary indicial symbols, such as the $b$-manifolds, as well as other geometric bisection covariant heat flows. We also establish the short time asymptotic expansion for the heat kernel of a positive, elliptic differential operator on a Lie groupoid that acts on suitable Sobolev Hilbert modules and is positive definite with respect to the appropriate $L^2$ inner product.

math.AP↗