Source-linked AI summary
Inverse Problem for a Curved Quantum Guide
Laure Cardoulis, Michel Cristofol
TL;DR
The paper addresses the reconstruction of curvature in curved quantum guides, an inverse problem with limited prior study. It establishes uniqueness from one eigenpair and from solution data for a Poisson problem, with further results for simply-bent guides and regularity assumptions.
Problem
Inverse problems for curved quantum guides have scarcely been studied, motivating uniqueness results for reconstructing their curvature.
Method
The paper uses curvilinear coordinates for the guide and an inverse-function-theorem argument under injectivity and nondegeneracy assumptions.
Results
One eigenpair determines the curvature uniquely, while Poisson solution data also determines it; for nonnegative curvature, a weak solution and bounded nonzero forcing suffice.
Takeaways & Limitations
Spectral data and Poisson-problem observations provide uniqueness results for curvature reconstruction, including a simply-bent case with reduced regularity hypotheses.
Takeaways & Limitations
The results rely on assumptions including injectivity of the map defined by (1.1) and, in the three-dimensional case, regularity hypotheses on k and θ.
Abstract
from arXiv · showhide
In this paper, we consider the Dirichlet Laplacian operator -Δ on a curved quantum guide in R n (n = 2, 3) with an asymptotically straight reference curve. We give uniqueness results for the inverse problem associated to the reconstruction of the curvature by using either observations of spectral data or a boot-strapping method. keywords: Inverse Problem, Quantum Guide, Curvature
1 Introduction and main results in dimension n = 2
The paper establishes uniqueness results for reconstructing the curvature of a two-dimensional curved quantum guide from one eigenpair or Poisson data, under stated geometric and regularity assumptions.
- Motivation: Inverse problems for curved quantum guides are comparatively underexplored, motivating curvature reconstruction from spectral or Poisson observations.The paper considers a non-self-intersecting guide with an asymptotically straight reference curve.
- Geometric setting: The guide is parameterized by curvilinear coordinates generated from a C3-smooth reference curve, its outgoing normal, and fixed width d.The coordinate map is ˆf(s,u)=Γ(s)+uN(s), with Ω0=R×]−d/2,d/2[.
- Geometric setting: Injectivity of the coordinate map and the condition 1−uγ(s)≠0 ensure a global diffeomorphism and valid curvilinear coordinates.The metric is diagonal in these coordinates, and the condition is guaranteed by the geometric assumptions.
- Operator formulation: The Laplace–Beltrami operator is transferred to the reference strip and then unitarily transformed into a Schrödinger-type operator on L2(Ω0,dsdu).The transformation Ug maps ψ to g^1/4ψ.
- Uniqueness results: One eigenpair determines the signed curvature uniquely, while the eigenfunction data are equivalent to data for the Dirichlet Laplacian on the original guide.The lowest eigenvalue is simple and has a positive eigenfunction, which satisfies the nonvanishing condition used in the theorem.
- Uniqueness results: Poisson data also determine the curvature uniquely under regularity assumptions, with reduced regularity requirements when the guide is simply bent.For nonnegative curvature, a non-null f satisfying |f(s,u)|≤M|φ(s,u)| almost everywhere suffices; the result also holds for nonpositive curvature.
- Scope: The paper extends the two-dimensional uniqueness results to curved quantum guides in R3.The extensions are developed in Sections 3 and 4.
2 Proofs of Theorems 1.1, 1.2 and 1.3
The two-dimensional proofs establish curvature uniqueness from eigenfunction data and from source–solution data under a sign condition, using elliptic regularity, boundary identities, and unique continuation.
- Theorem 1.1: The eigenfunction equation and boundary evaluation provide a pointwise relation that recovers γ^2 wherever the eigenfunction does not vanish.Continuity of the Laplacian at the boundary is used to justify the recovery identity.
- Regularity: Elliptic regularity is bootstrapped repeatedly to obtain sufficient smoothness of the solution and continuity of its Laplacian.The proof applies Lemma 2.1 successively, reaching H5 regularity before using Sobolev embedding to conclude continuity.
- Theorem 1.3: Unique continuation then propagates local vanishing globally, contradicting the assumption that the source function is nonzero.The same contradiction argument handles intervals between points where the two curvatures agree.
- Theorem 1.3: The sign restriction can be replaced by nonpositive curvature by reflecting the strip used in the proof.The proof uses Iε=]0,ε[ instead of Iε=]−ε,0[.
3 Uniqueness result for a R3-quantum guide
The three-dimensional extension models a curved tube through a Frenet/Tang frame and proves uniqueness for the first curvature, including recovery from eigenpair or source–solution data when torsion is known.
- Geometry and assumptions: A C4-smooth space curve with a positively oriented Frenet frame defines the three-dimensional guide geometry and its curvature functions.The construction uses a moving Tang frame, with the rotation angle satisfying θ′(s)=τ(s).
- Geometry and assumptions: The curvature and non-overlap assumptions make the coordinate map a diffeomorphism and identify the tube with a Riemannian manifold having diagonal metric tensor diag(h^2,1,1).The coordinate construction is valid under the bound a||k||∞<1.
- Operator formulation: The Laplace–Beltrami operator is unitarily transformed into a Schrödinger-type operator on the straight reference domain.Eigenfunctions are continuous and belong to H2(Ω0), while the lowest eigenvalue is simple with a positive eigenfunction.
- Uniqueness results: One eigenpair determines the square of the first curvature through the boundary value of the eigenfunction's Laplacian.The result is stated under the regularity assumptions imposed on k and θ and applies where φ(s,0,0)≠0.
- Uniqueness results: With a prescribed source and weak solution, the solution becomes classical and the same boundary identity recovers k^2.The source regularity is f∈H3(Ω0)∩C(Ω0).
- Regularity refinement: The paper also notes that the regularity hypotheses on the three-dimensional curvature and angle can be reduced in an additional result.This is presented as the three-dimensional analogue of the corresponding two-dimensional refinement.
- Known torsion: When torsion is given and its primitive satisfies 0≤θ(s)≤π/2, the data (f,φ) uniquely determines the first curvature function.The source is non-null and satisfies |f(s,u)|≤M|φ(s,u)| almost everywhere.
4 Proofs of Theorem 3.1, 3.2 and 3.3
The proofs establish curvature uniqueness by converting the guide operator into coefficient-dependent equations and exploiting regularity, pointwise identities, and unique continuation. In three dimensions, the argument compares two curvatures while fixing the common torsion; in two dimensions, curvature is recovered from the solution on the guide centerline.
- Centerline reconstruction: At the centerline, the equation gives k2(s) = −4∆φ(s,0,0)/φ(s,0,0), so the curvature is reconstructed pointwise when the denominator condition holds.The identity is obtained from the eigenfunction equation evaluated at u=(0,0).
- Three-dimensional uniqueness: Regularity bootstrapping in three dimensions yields φ ∈ H5(Ω0) and continuity of ∆φ, enabling evaluation of the equation at the centerline.The successive elliptic-regularity steps use bounded coefficients and derivatives under the hypotheses on k and θ.
- Three-dimensional uniqueness: In three dimensions, the proof assumes two guides share torsion data and shows that (f, φ, θ) determines the first curvature uniquely.The curvatures satisfy the stated regularity and sign assumptions, with θ a primitive of their common torsion.
- Three-dimensional uniqueness: The three-dimensional argument compares the transformed coefficients h_i and potentials V_{k_i}, using their difference to obtain a sign condition when k1 and k2 are ordered.The coefficient difference factors through α(s,u2,u3)(k1(s)−k2(s))(h1+h2), while the chosen transverse region makes α negative.
- Three-dimensional uniqueness: Unique continuation forces φ to vanish if the curvatures differ on an ordered interval, contradicting the assumed nonzero forcing f.The proof first treats global ordering and then repeats the argument between neighboring points where the curvatures agree.