pith. sign in

arxiv: 1907.04118 · v1 · pith:I6HPXVJGnew · submitted 2019-07-09 · 🧮 math.OC · math.AP

Singular asymptotic expansion of the exact control for a linear model of the Rayleigh beam

Arnaud Munch , Carlos Castro This is my paper

Pith reviewed 2026-05-25 00:33 UTC · model grok-4.3

classification 🧮 math.OC math.AP
keywords asymptotic expansionnull controllabilityRayleigh beamPetrowsky equationboundary layermatched asymptoticsNeumann control
0
0 comments X

The pith

The minimal L2-norm Neumann control for the Rayleigh beam admits a second-order asymptotic expansion whose leading term is the Dirichlet control for the limiting wave equation.

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

The paper applies the matched asymptotic method to the null controllability problem for the singularly perturbed Petrowsky equation that models the Rayleigh beam. It first characterizes the boundary layer of width order sqrt(ε) that forms near the endpoints of the solution as the perturbation parameter ε tends to zero. From this description it constructs a rigorous second-order expansion of the minimal L2-norm Neumann control, showing that the leading term is exactly the null Dirichlet control for the hyperbolic wave equation obtained in the limit. This supplies an explicit account of how the controls become singular when ε approaches zero.

Core claim

Using the matched asymptotic method, we describe the boundary layer of the solution y^ε then derive a rigorous second order asymptotic expansion of the control of minimal L2-norm, with respect to the parameter ε. In particular, we recover that the leading term of the expansion is a null Dirichlet control for the limit hyperbolic wave equation, in agreement with earlier results due to J-.L. Lions in the eighties.

What carries the argument

Matched asymptotic method used to construct the boundary-layer correction and the second-order expansion of the minimal L2-norm control

If this is right

  • The leading term of the minimal control expansion is the null Dirichlet control for the limit wave equation.
  • The boundary-layer correction to the control remains bounded in L2 norm once the leading term is removed.
  • Numerical experiments confirm that the derived expansion accurately approximates the control for small ε.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same matched-asymptotics construction may apply directly to other singularly perturbed beam or plate control problems.
  • The explicit expansion supplies a practical approximation that could be used to compute controls when ε is too small for direct numerical solution of the optimality system.

Load-bearing premise

The matched asymptotic method can be applied to the minimal-L2 control problem for this Petrowsky-type equation and yields a controllable boundary-layer correction whose L2 norm remains bounded after the leading term is subtracted.

What would settle it

A numerical computation, for a sequence of small ε, of the difference between the true minimal L2-norm control and the two-term asymptotic approximation, showing that the difference fails to be o(ε) in L2 norm.

Figures

Figures reproduced from arXiv: 1907.04118 by Arnaud Munch, Carlos Castro.

Figure 1
Figure 1. Figure 1: Controls √ εvε (blue) and v 0 (red) over [0, T] and ε = 10−1 (top-left), ε = 10−2 (top￾right), ε = 10−3 (bottom-left) and ε = 10−4 (bottom-right). 0 0.5 1 1.5 2 2.5 -20 -15 -10 -5 0 5 10 15 0 0.5 1 1.5 2 2.5 -2000 -1500 -1000 -500 0 500 1000 1500 [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Controls v 1 (left) and v 2 (right) over [0, T] [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Evolution of k √ εvε − v 0kL2(0,T) and k √ εvε − v 0 − √ εv1kL2(0,T) with respect to ε. 7 Conclusions - Perspectives We have rigorously derived an asymptotic expansion of a null control for a singular linear partial differential equation involving a small parameter ε > 0. Precisely, we have shown that the control of minimal L 2 -norm v ε can be expanded as follows : v ε = 1 √ ε (v 0 + √ εv1 + εv2 ) + O(ε 3… view at source ↗
read the original abstract

The Petrowsky type equation $y_{tt}^\eps+\eps y_{xxxx}^\eps - y_{xx}^\eps=0$, $\eps>0$ encountered in linear beams theory is null controllable through Neumann boundary controls. Due to the boundary layer of size of order $\sqrt{\eps}$ occurring at the extremities, these boundary controls get singular as $\eps$ goes to $0$. Using the matched asymptotic method, we describe the boundary layer of the solution $y^\eps$ then derive a rigorous second order asymptotic expansion of the control of minimal $L^2-$norm, with respect to the parameter $\eps$. In particular, we recover that the leading term of the expansion is a null Dirichlet control for the limit hyperbolic wave equation, in agreement with earlier results due to J-.L. Lions in the eighties. Numerical experiments support the analysis.

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.

Referee Report

1 major / 1 minor

Summary. The paper considers the null-controllability problem for the singularly perturbed Petrowsky equation y_tt^ε + ε y_xxxx^ε - y_xx^ε = 0 (ε > 0) with Neumann boundary controls. It applies the matched asymptotic method to construct a boundary-layer description of the state and then obtains a second-order expansion u^ε = u0 + ε u1 + o(ε) for the minimal-L2-norm control as ε → 0. The leading term u0 is shown to coincide with a null Dirichlet control for the limiting wave equation, recovering Lions’ earlier result; numerical experiments are presented in support.

Significance. If the claimed identification of the expansion coefficients with those of the true minimal-L2 control can be made rigorous with explicit error estimates, the work would supply a concrete higher-order asymptotic description for singular controls in a Petrowsky-type beam model and would furnish a systematic matched-asymptotics framework that could be tested on related singularly perturbed control problems.

major comments (1)
  1. [Abstract and derivation of the expansion (no numbered section or equation supplied in the visible text)] The central claim requires that the constructed second-order expansion coincides with the minimal-L2 control up to o(ε). The variational characterization of the minimal control (via the HUM operator or the adjoint observability inequality) is not quantitatively linked to the boundary-layer correction; without an estimate showing that any other admissible control differs from the matched expansion by o(ε) in L2, the identification remains formal. This gap is load-bearing for the statement that the expansion is that of the exact minimal-norm control.
minor comments (1)
  1. [Abstract] The abstract asserts a “rigorous” derivation, yet the visible text contains no error estimates, remainder bounds, or data-exclusion rules for the numerical checks; these should be added explicitly.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the quantitative link between the matched-asymptotic construction and the variational characterization of the minimal-L2-norm control. We agree that this connection is essential for the claim of rigor and will revise the manuscript to close the gap.

read point-by-point responses

  1. Referee: The central claim requires that the constructed second-order expansion coincides with the minimal-L2 control up to o(ε). The variational characterization of the minimal control (via the HUM operator or the adjoint observability inequality) is not quantitatively linked to the boundary-layer correction; without an estimate showing that any other admissible control differs from the matched expansion by o(ε) in L2, the identification remains formal. This gap is load-bearing for the statement that the expansion is that of the exact minimal-norm control.

    Authors: We accept the observation. The present manuscript constructs a family of controls via matched asymptotics that achieve null controllability with the stated expansion and recovers Lions’ leading term, but it does not yet supply an explicit comparison with the HUM minimizer. In the revision we will add a new subsection that (i) derives a uniform observability inequality for the adjoint system incorporating the boundary-layer correctors and (ii) proves that any other admissible control differs from our expansion by o(ε) in L²(0,T). These estimates will make the identification with the minimal-norm control fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on matched asymptotics and external Lions result

full rationale

The paper applies the matched asymptotic method to construct a boundary-layer description for the solution y^ε of the Petrowsky equation and then obtains a second-order expansion for the minimal-L2 control. The leading term is identified with a null Dirichlet control for the limit wave equation by explicit agreement with Lions' independent 1980s result, not by internal redefinition or fitting. No step reduces a claimed prediction to a fitted parameter, self-citation chain, or ansatz smuggled from the authors' prior work; the analysis is self-contained against the external benchmark and the variational characterization of the minimal control.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the matched-asymptotic construction is invoked without listing its background assumptions.

pith-pipeline@v0.9.0 · 5672 in / 1038 out tokens · 17977 ms · 2026-05-25T00:33:50.827547+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Amirat and A

    Y. Amirat and A. M ¨unch, Asymptotic analysis of an advection-diffusion equation and application to boundary controllability , Asymptot. Anal., 112 (2019), pp. 59–106

    work page 2019

  2. [2]

    Ammar-Khodja, G

    F. Ammar-Khodja, G. Geymonat, and A. M ¨unch, On the exact controllability of a system of mixed order with essential spectrum , C. R. Math. Acad. Sci. Paris, 346 (2008), pp. 629–634

    work page 2008

  3. [3]

    Cˆındea, E

    N. Cˆındea, E. Fern ´andez-Cara, and A. M ¨unch, Numerical controllability of the wave equation through primal methods and Carleman estimates , ESAIM Control Optim. Calc. Var., 19 (2013), pp. 1076–1108

    work page 2013

  4. [4]

    C ˆındea, S

    N. C ˆındea, S. Micu, and I. Rovent ¸a , Boundary controllability for finite-differences semidiscretizations of a clamped beam equation, SIAM J. Control Optim., 55 (2017), pp. 785– 817

    work page 2017

  5. [5]

    Cˆındea and A

    N. Cˆındea and A. M¨unch, A mixed formulation for the direct approximation of the control of minimal L2-norm for linear type wave equations , Calcolo, 52 (2015), pp. 245–288. REFERENCES 28

    work page 2015

  6. [6]

    Coron and S

    J.-M. Coron and S. Guerrero, Singular optimal control: a linear 1-D parabolic-hyperbolic example, Asymptot. Anal., 44 (2005), pp. 237–257

    work page 2005

  7. [7]

    Dehman and G

    B. Dehman and G. Lebeau, Analysis of the HUM control operator and exact controllability for semilinear waves in uniform time , SIAM J. Control Optim., 48 (2009), pp. 521–550

    work page 2009

  8. [8]

    M. G. Dmitriev and G. A. Kurina , Singular perturbations in control problems, Avtomat. i Telemekh., (2006), pp. 3–51

    work page 2006

  9. [9]

    Eckhaus, Asymptotic analysis of singular perturbations , vol

    W. Eckhaus, Asymptotic analysis of singular perturbations , vol. 9 of Studies in Mathematics and its Applications, North-Holland Publishing Co., Amsterdam-New York, 1979

    work page 1979

  10. [10]

    Ervedoza and E

    S. Ervedoza and E. Zuazua, A systematic method for building smooth controls for smooth data, Discrete Contin. Dyn. Syst. Ser. B, 14 (2010), pp. 1375–1401

    work page 2010

  11. [11]

    Glowinski, J.-L

    R. Glowinski, J.-L. Lions, and J. He, Exact and approximate controllability for distributed parameter systems, vol. 117 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2008. A numerical approach

    work page 2008

  12. [12]

    Kevorkian and J

    J. Kevorkian and J. D. Cole , Multiple scale and singular perturbation methods , vol. 114 of Applied Mathematical Sciences, Springer-Verlag, New York, 1996

    work page 1996

  13. [13]

    Lions, Perturbations singuli` eres dans les probl` emes aux limites et en contrˆ ole optimal, Lecture Notes in Mathematics, Vol

    J.-L. Lions, Perturbations singuli` eres dans les probl` emes aux limites et en contrˆ ole optimal, Lecture Notes in Mathematics, Vol. 323, Springer-Verlag, Berlin-New York, 1973

    work page 1973

  14. [14]

    , Contrˆ olabilit´ e exacte et perturbations singuli` eres. II. La m´ ethode de dualit´ e, in Appli- cations of multiple scaling in mechanics (Paris, 1986), vol. 4 of Rech. Math. Appl., Masson, Paris, 1987, pp. 223–237

    work page 1986

  15. [15]

    7 of Math

    , Exact controllability and singular perturbations , in Wave motion: theory, modelling, and computation (Berkeley, Calif., 1986), vol. 7 of Math. Sci. Res. Inst. Publ., Springer, New York, 1987, pp. 217–247

    work page 1986

  16. [16]

    Tome 2, vol

    , Contrˆ olabilit´ e exacte, perturbations et stabilisation de syst` emes distribu´ es. Tome 2, vol. 9 of Recherches en Math´ ematiques Appliqu´ ees [Research in Applied Mathematics], Mas- son, Paris, 1988. Perturbations. [Perturbations]

    work page 1988

  17. [17]

    L´opez and E

    A. L´opez and E. Zuazua , Null controllability of the 1-d heat equation as limit of the con- trollability of dissipative wave equations , C. R. Acad. Sci. Paris S´ er. I Math., 327 (1998), pp. 753–758

    work page 1998

  18. [18]

    Marbach, Small time global null controllability for a viscous Burgers’ equation despite the presence of a boundary layer , J

    F. Marbach, Small time global null controllability for a viscous Burgers’ equation despite the presence of a boundary layer , J. Math. Pures Appl. (9), 102 (2014), pp. 364–384

    work page 2014

  19. [19]

    Miklowitz, Flexural waves in beams according to the more exact theory of bending, Navord Rep

    J. Miklowitz, Flexural waves in beams according to the more exact theory of bending, Navord Rep. 2049, U. S. Naval Ordnance Test Station, Inyokern, Calif., 1953

    work page 2049

  20. [20]

    M¨unch, A uniformly controllable and implicit scheme for the 1-D wave equation , M2AN Math

    A. M¨unch, A uniformly controllable and implicit scheme for the 1-D wave equation , M2AN Math. Model. Numer. Anal., 39 (2005), pp. 377–418

    work page 2005

  21. [21]

    , Null boundary controllability of a circular elastic arch , IMA J. Math. Control Inform., 27 (2010), pp. 119–144

    work page 2010

  22. [22]

    Rellich , Perturbation theory of eigenvalue problems , Assisted by J

    F. Rellich , Perturbation theory of eigenvalue problems , Assisted by J. Berkowitz. With a preface by Jacob T. Schwartz, Gordon and Breach Science Publishers, New York-London- Paris, 1969

    work page 1969