New quantitative unique continuation result for elliptic equations

Hiroshi Takase; Mourad Choulli

arxiv: 2411.03545 · v2 · pith:6IZLZ327new · submitted 2024-11-05 · 🧮 math.AP

New quantitative unique continuation result for elliptic equations

Mourad Choulli , Hiroshi Takase This is my paper

Pith reviewed 2026-05-23 17:24 UTC · model grok-4.3

classification 🧮 math.AP

keywords elliptic equationsunique continuationCarleman inequalityCauchy dataquantitative estimatesStokes equationpartial differential equations

0 comments

The pith

Elliptic equations admit a quantitative unique continuation result from Cauchy data, derived directly from a Carleman inequality.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a quantitative unique continuation principle for solutions of elliptic partial differential equations, supplying explicit estimates that relate the size of a solution throughout a domain to the smallness of its Cauchy data on part of the boundary. A reader would care because these explicit rates support stability analysis in inverse problems and control applications where one must quantify how information propagates away from measured data. The argument is direct, using only an existing Carleman inequality applied to the operator and data, without additional machinery. The same technique produces an analogous quantitative result for the Stokes system.

Core claim

The authors prove a new quantitative unique continuation result for elliptic equations from Cauchy data. They provide a simple and direct proof based only on a Carleman inequality. A similar result for the Stokes equation is also shown.

What carries the argument

A Carleman inequality for the elliptic operator, applied directly to the given Cauchy data to produce the quantitative bound.

Load-bearing premise

A suitable Carleman inequality holds for the elliptic operator and can be applied directly to obtain the quantitative bound from the given Cauchy data.

What would settle it

An explicit elliptic operator and set of Cauchy data for which the Carleman inequality is known to hold yet the claimed quantitative bound relating solution size to data size fails to be true.

read the original abstract

We prove a new quantitative unique continuation result for elliptic equations from Cauchy data. We provide a simple and direct proof based only on a Carleman inequality. Similar result for the Stokes equation is also shown.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a direct Carleman-based proof of a quantitative unique continuation estimate from Cauchy data for elliptic operators and for Stokes.

read the letter

The core contribution is a quantitative bound that controls the solution inside the domain by its Cauchy data on a portion of the boundary, obtained by feeding a Carleman inequality straight into the estimate. They carry the same argument over to the Stokes system. That directness is the main selling point: if the Carleman estimate is already available or easy to derive for the operator at hand, the rest follows without extra layers of approximation or auxiliary problems. For people who need explicit stability constants in inverse problems, having the bound written out cleanly can save time even if the underlying technique is familiar. The Stokes extension is a modest but concrete addition, since the system is not scalar and the pressure term needs handling. The paper does not appear to introduce a new Carleman inequality, so the novelty sits in the application and the claim of simplicity rather than in new analytic tools. That keeps the result incremental within the existing literature on quantitative unique continuation. No internal contradictions or hidden assumptions jump out from the abstract and the stress-test summary; the argument structure is the standard one. The main limitation is that the abstract supplies no comparison table or constant comparison with earlier quantitative results, so a referee will still need to check how much the bound improves on what is already known. The work is aimed at PDE analysts who use unique continuation in inverse problems or control theory. A reader already comfortable with Carleman estimates will get the most out of it as a short reference or starting point for variants. It is solid enough on its own terms to warrant sending to referees rather than a desk rejection; the claim is checkable and the method is reproducible once the Carleman step is verified.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to prove a new quantitative unique continuation result for solutions of elliptic equations, bounding the solution in the interior by its Cauchy data on a portion of the boundary via a direct application of a Carleman inequality. An analogous result is stated for the Stokes system.

Significance. Quantitative unique continuation estimates from Cauchy data are relevant to stability questions in inverse problems and control theory for elliptic operators. If the claimed simplicity of the proof (relying only on a standard Carleman estimate) yields a new explicit bound or applies under weaker geometric assumptions than prior work, the result would be useful; the Stokes extension broadens the scope.

major comments (1)

[Proof (post-abstract) and Section 2] The central claim rests on applying a Carleman inequality to obtain an explicit quantitative bound, yet the manuscript supplies neither the precise statement of the Carleman inequality employed nor the derivation of the quantitative estimate from it (see the proof paragraph following the abstract and any Section 2). Without these steps or explicit constants, the novelty and sharpness of the bound cannot be verified.

minor comments (1)

[Abstract and Introduction] The abstract and introduction should state the precise class of elliptic operators, the geometric setting (domain, hypersurface portion), and the norm in which the quantitative bound is expressed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful review of our manuscript. We address the single major comment below and will revise the manuscript to improve the clarity and completeness of the proof.

read point-by-point responses

Referee: [Proof (post-abstract) and Section 2] The central claim rests on applying a Carleman inequality to obtain an explicit quantitative bound, yet the manuscript supplies neither the precise statement of the Carleman inequality employed nor the derivation of the quantitative estimate from it (see the proof paragraph following the abstract and any Section 2). Without these steps or explicit constants, the novelty and sharpness of the bound cannot be verified.

Authors: We agree that the current version presents the proof too concisely. Although the argument is intended to be a direct application of a standard Carleman inequality, the manuscript does not state the precise form of the inequality used nor derive the quantitative bound in detail. In the revised manuscript we will insert the exact statement of the Carleman estimate employed and provide a complete, step-by-step derivation of the quantitative unique-continuation estimate, including any explicit constants that appear. This expansion will allow readers to verify the claimed bound and assess its novelty relative to existing results. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states that its quantitative unique continuation result follows from a direct application of a Carleman inequality to the Cauchy data, with the inequality treated as an input rather than derived internally. No equations or steps reduce the claimed bound to a fitted parameter, self-definition, or self-citation chain that loops back to the target result. The argument structure is the standard one in the field and remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the existence and applicability of a Carleman inequality for the elliptic operator; no free parameters, invented entities, or additional axioms are mentioned in the abstract.

axioms (1)

domain assumption A Carleman inequality holds for the elliptic operator and yields the quantitative unique continuation bound from Cauchy data.
Abstract states the proof is based only on this inequality.

pith-pipeline@v0.9.0 · 5535 in / 1142 out tokens · 21595 ms · 2026-05-23T17:24:15.348750+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[1]

Bellassoued and M

M. Bellassoued and M. Choulli. Global logarithmic stabi lity of a cauchy problem for anisotropic wave equations. Partial Diﬀerential Equations and Applications , 4(3), Paper No. 23:44pp, 2023

work page 2023
[2]

Boulakia, A.-C

M. Boulakia, A.-C. Egloﬀe, and C. Grandmont. Stability e stimates for the unique continua- tion property of the stokes system and for an inverse boundar y coeﬃcient problem. Inverse Problems, 29(11), 115001:21pp, 2013

work page 2013
[3]

Bourgeois

L. Bourgeois. About stability and regularization of ill -posed elliptic cauchy problems: The case of c1, 1 domains. ESAIM: Mathematical Modelling and Numerical Analysis , 44:715–735, 2010

work page 2010
[4]

Bourgeois and J

L. Bourgeois and J. Dard´ e. About stability and regulari zation of ill-posed elliptic cauchy problems: The case of lipschitz domains. Applicable Analysis , 89:1745–1768, 2010

work page 2010
[5]

M. Choulli. An Introduction to the Uniqueness of Continuation of Second Order Partial Diﬀerential Equations . to appear

work page
[6]

M. Choulli. Applications of Elliptic Carleman Inequalities to Cauchy a nd Inverse Problems . Springer, 2016

work page 2016
[7]

M. Choulli. New global logarithmic stability results on the cauchy problem for elliptic equa- tions. Bulletin of the Australian Mathematical Society , 101:141–145, 2020

work page 2020
[8]

M. Choulli. Uniqueness of continuation for semilinear e lliptic equations. Partial Diﬀerential Equations and Applications , 5(4), Paper No. 22:14pp, 2024

work page 2024
[9]

Choulli and H

M. Choulli and H. Takase. Lipschitz stability for an elli ptic inverse problem with two mea- surements. arXiv:2404.13901, 2024

work page arXiv 2024
[10]

Koch and D

H. Koch and D. Tataru. Carleman estimates and unique con tinuation for second-order elliptic equations with nonsmooth coeﬃcients. Communications on Pure and Applied Mathematics , 54:339–360, 2001

work page 2001
[11]

J. L. Lions and E. Magenes. Non-Homogeneous Boundary Value Problems and Applications , volume I. Springer-Verlag, 1972. Universit´e de Lorraine, 34 cours L ´eopold, 54052 Nancy cedex, France Email address : mourad.choulli@univ-lorraine.fr Institute of Mathematics for Industry, Kyushu University, 7 44 Motooka, Nishi-ku, Fukuoka 819-0395, Japan Email addres...

work page 1972

[1] [1]

Bellassoued and M

M. Bellassoued and M. Choulli. Global logarithmic stabi lity of a cauchy problem for anisotropic wave equations. Partial Diﬀerential Equations and Applications , 4(3), Paper No. 23:44pp, 2023

work page 2023

[2] [2]

Boulakia, A.-C

M. Boulakia, A.-C. Egloﬀe, and C. Grandmont. Stability e stimates for the unique continua- tion property of the stokes system and for an inverse boundar y coeﬃcient problem. Inverse Problems, 29(11), 115001:21pp, 2013

work page 2013

[3] [3]

Bourgeois

L. Bourgeois. About stability and regularization of ill -posed elliptic cauchy problems: The case of c1, 1 domains. ESAIM: Mathematical Modelling and Numerical Analysis , 44:715–735, 2010

work page 2010

[4] [4]

Bourgeois and J

L. Bourgeois and J. Dard´ e. About stability and regulari zation of ill-posed elliptic cauchy problems: The case of lipschitz domains. Applicable Analysis , 89:1745–1768, 2010

work page 2010

[5] [5]

M. Choulli. An Introduction to the Uniqueness of Continuation of Second Order Partial Diﬀerential Equations . to appear

work page

[6] [6]

M. Choulli. Applications of Elliptic Carleman Inequalities to Cauchy a nd Inverse Problems . Springer, 2016

work page 2016

[7] [7]

M. Choulli. New global logarithmic stability results on the cauchy problem for elliptic equa- tions. Bulletin of the Australian Mathematical Society , 101:141–145, 2020

work page 2020

[8] [8]

M. Choulli. Uniqueness of continuation for semilinear e lliptic equations. Partial Diﬀerential Equations and Applications , 5(4), Paper No. 22:14pp, 2024

work page 2024

[9] [9]

Choulli and H

M. Choulli and H. Takase. Lipschitz stability for an elli ptic inverse problem with two mea- surements. arXiv:2404.13901, 2024

work page arXiv 2024

[10] [10]

Koch and D

H. Koch and D. Tataru. Carleman estimates and unique con tinuation for second-order elliptic equations with nonsmooth coeﬃcients. Communications on Pure and Applied Mathematics , 54:339–360, 2001

work page 2001

[11] [11]

J. L. Lions and E. Magenes. Non-Homogeneous Boundary Value Problems and Applications , volume I. Springer-Verlag, 1972. Universit´e de Lorraine, 34 cours L ´eopold, 54052 Nancy cedex, France Email address : mourad.choulli@univ-lorraine.fr Institute of Mathematics for Industry, Kyushu University, 7 44 Motooka, Nishi-ku, Fukuoka 819-0395, Japan Email addres...

work page 1972