Pith. sign in

REVIEW 2 major objections 6 minor 30 references

Parametric formal Gevrey asymptotic expansions in two complex time variable problems

T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims that the analytic solution of a singularly perturbed nonlinear Cauchy problem in two complex time variables splits into a holomorphic part plus two parts carrying Gevrey asymptotic expansions of orders 1/k1 and 1/k2 in…

desk verdict A technically rich paper whose central Gevrey decomposition is undermined by a reversed index assignment in the Ramis-Sibuya step. read the letter →

arxiv 2506.00916 v1 pith:V3OM34IF submitted 2025-06-01 math.CV math.AP

Guoting Chen , Alberto Lastra , Stephane Malek This is my paper
classification math.CVmath.AP MSC 35C1035R1035C1535C20
keywords GevreyasymptoticssingularlyperturbedPDEtwocomplextimevariablesBorel-LaplacetransformmultisummabilityRamis-SibuyatheoremCauchyproblemanalyticcontinuation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies a singularly perturbed nonlinear Cauchy problem in two complex time variables, with epsilon as a small perturbation parameter. It tries to prove that the analytic solution, built as a double Laplace and inverse Fourier transform of an auxiliary Borel function, admits a three-way splitting: a part holomorphic in epsilon plus two parts with Gevrey asymptotic expansions of orders 1/k1 and 1/k2 in epsilon on a common sector. The usual route fails because the Borel function is only defined on a product of unbounded sectors, so the classical deformation of double integration paths is unavailable. The paper bypasses this by proving analytic continuation of the Borel solution into a neighborhood of the origin in each variable separately, then splitting the integration paths accordingly. If correct, this establishes a genuine two-level Gevrey structure for a class of PDEs that earlier treatments of symmetric, asymmetric, or truncated-Laplace configurations did not cover.

What carries the argument

The load-bearing construction is the double Laplace and inverse Fourier representation (16) together with the auxiliary Borel-Fourier convolution problem (21) for omega(tau1,tau2,m,epsilon). A Gevrey asymptotic expansion of order 1/k means that the N-th remainder of the expansion is bounded by C A^N Gamma(1+N/k) |epsilon|^N; the paper uses this standard notion repeatedly. $\Omega$ is first solved in three Banach spaces: on a bidisc, on a product of unbounded sectors, and on their intersection. Proposition 5 shows that the sectorial solution continues analytically into the disc in each variable separately, not into a full bidisc, and this separate continuation allows the two integration paths to be deformed one at a time or through concatenated arcs. The exponential decay estimates of Proposition 6, feeding the multilevel Ramis-Sibuya theorem, are what convert those path deformations into the two distinct Gevrey orders 1/k1 and 1/k2.

What would settle it

Fix k1=2 and k2=1 and take a good covering in which each sector E_{p+1} is obtained from E_p only by rotating the first integration direction while leaving the second fixed, so every adjacent difference falls into Case 2 of Proposition 6. If the computed differences J_{1,p+1}-J_{1,p} all decay like exp(-C/|epsilon|^2), then only one decay class is present, the multilevel Ramis-Sibuya theorem cannot produce two distinct Gevrey orders, and Theorem 2's two-level splitting would not follow from the argument as written.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 2: under assumptions (3)-(11), the solution u_{d1,d2}(t1,t2,z,epsilon) of the Cauchy problem (12) decomposes as b(t1,t2,z,epsilon) + u_{d1,d2,1}(t1,t2,z,epsilon) + u_{d1,d2,2}(t1,t2,z,epsilon), where b is holomorphic in epsilon near the origin with values in the Banach space of bounded holomorphic functions on T1 x T2 x H_{$\beta$'}, and each u_{d1,d2,j} admits a formal power series as its Gevrey asymptotic expansion of order 1/k_j with respect to epsilon on a sector E. The two orders are the reciprocals of the exponents k1>k2 appearing in the leading irregular time operator. The proof splits the double Laplace integral as J1+J2+J3: J2 is flat at order 1/k2, J3 is flat at order 1/k1, and J1 is completed to a family (J_{1,p}) on a good covering of sectors. Differences of consecutive members decay either like exp(-C/|epsilon|^{k1}) or exp(-C/|epsilon|^{k2}) depending on which integration directions move, and the multilevel Ramis-Sibuya theorem then converts these decay classes into the two distinct Gevrey levels.

Load-bearing premise

The argument requires that, among the consecutive sectors of the good covering, both exponential decay classes actually occur: at least one adjacent pair producing the exp(-C/|epsilon|^{k2}) bound and at least one producing the exp(-C/|epsilon|^{k1}) bound, and the paper assumes these nonempty classes rather than proving that the chosen directions force them.

Editorial extensions

If this is right

  • The formal solution of (12) is not merely summable in a single Gevrey class: it carries a two-level structure whose orders are tied to the irregular time operators, even though ordinary two-variable Borel-Laplace summability fails in the sector-product geometry.
  • The result extends the earlier symmetric, asymmetric, and truncated-Laplace settings to a wider class of lower-order irregular operators satisfying (3)-(5), including terms of the form t^{ell1}1 partial_{t1}^{ell2} t^{ell3}2 partial_{t2}^{ell4}.
  • It provides a reusable mechanism: analytic continuation in each Borel variable separately can replace the unavailable deformation of a double integration path in other PDE problems whose Borel domain is only a product of sectors.
  • The decomposition b + u1 + u2 implies that the analytic solution and the formal power series are related by two distinct asymptotic levels, predicting two different accuracy regimes for the perturbation expansion in applications where epsilon is a small physical parameter.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper leaves open the explicit construction of direction arrays and good coverings that guarantee both decay classes occur; a natural test is to exhibit such a covering for the model example with k1=2 and k2=1, or to establish that generic coverings produce both classes.
  • One could expect the same two-level splitting to persist for higher-order multi-time operators or for q-analogs, with the exponents k_j replaced by the corresponding q-time exponents; this extension is not proved in the paper.
  • The separate-variable analytic continuation suggests a general principle: if a Borel solution extends into the origin along each time axis independently, a two-level Laplace summation may replace full summability even when the Borel domain is only S1 x S2.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper studies a singularly perturbed nonlinear Cauchy problem in two complex time variables with a leading operator of the form Q(∂_z) - ε^{Δ_0}(t_1^{k_1+1}∂_{t_1})^{δ_1}(t_2^{k_2+1}∂_{t_2})^{δ_2} R(∂_z), with k_1 > k_2. The authors construct analytic solutions as double Laplace and inverse Fourier transforms of an auxiliary Borel-plane function, prove analytic continuation properties of that auxiliary function on products of sectors and discs, and then establish a three-term decomposition of the analytic solution: a convergent holomorphic part plus two parts admitting Gevrey asymptotic expansions of orders 1/k_1 and 1/k_2 in the perturbation parameter. The main technical engine is a two-level Ramis-Sibuya theorem applied to a family of truncated Laplace integrals J_{1,p} indexed over a good covering. The paper also gives Gevrey bounds for the remaining pieces J_2 and J_3.

Significance. If the main theorem is correct, the paper is a meaningful advance in parametric Gevrey asymptotics for PDEs with two complex time variables, since the auxiliary Borel function is only defined on a product of sectors and the proof must therefore avoid a direct double Laplace deformation. The fixed point arguments in Propositions 1, 3, and 4 are detailed, and the exponential difference estimates in Proposition 6 have the correct qualitative shape. The paper does not fit any data and relies on previously published theorems as tools. However, as written, the proof of the central two-level decomposition has a load-bearing gap in the application of the multilevel Ramis-Sibuya theorem, so the main conclusion is not yet established.

major comments (2)
  1. [§4.1, Proposition 7 and §5.2, Theorem 3] The assignment of the index sets I_1 and I_2 in Proposition 7 is inconsistent with the hypotheses of the multilevel Ramis-Sibuya theorem stated in Theorem 3. Proposition 6 shows that Case 1 and Case 3 give decay exp(-C/|ε|^{k_2}), while Case 2 gives decay exp(-C/|ε|^{k_1}). Proposition 7 places Case 1 and Case 3 in I_1 and Case 2 in I_2, but Theorem 3 requires p∈I_1 to satisfy exp(-M_p/|ε|^{k_1}) and p∈I_2 to satisfy exp(-M̃_p/|ε|^{k_2}). The roles are reversed. Consequently the stated proof does not establish that J_{1,1,p} admits a Gevrey expansion of order 1/k_1, and Corollary 1 and Theorem 2 inherit this gap.
  2. [§4.1, paragraph before Proposition 6] The paper never proves that both index classes I_1 and I_2 are nonempty for the chosen good covering and direction array (d_p, \tilde d_p). The construction of the directions only requires the sector conditions involving cos(k_1(d_p - arg(εt_1))) and cos(k_2(\tilde d_p - arg(εt_2))); it does not force the appearance of both Case 2 and Case 1/3 transitions. If all adjacent differences fell into a single decay class, Theorem 3 could not be invoked and the two-level conclusion of Proposition 7 would degenerate. A proof of existence of a good covering and directions realizing both classes, or a separate treatment of the degenerate case, is needed.
minor comments (6)
  1. [§3.1] The word "solucion" should be "solución" or "solution".
  2. [Lemma 1] "For very T∈C⋆" should read "For every T∈C⋆".
  3. [Proposition 6, Case 2 proof] In the estimate preceding the conclusion of Case 2, the exponent contains (ρ_1/2 / r_{T_1})^{k_2}, but the derivation from the first variable yields an exponent k_1; this appears to be a typo.
  4. [Proposition 7] The phrase "the solution (39) of (12)" is imprecise: the function J_{1,p} is only the truncated piece J_1 of the full analytic solution, not itself a solution of the Cauchy problem (12).
  5. [Proposition 9] The definition of A_{k_1} contains an unmatched parenthesis and the notation r_{T_1}^{K_1} should presumably be r_{T_1}^{k_1}.
  6. [Acknowledgements] "Aknowledgements" should be "Acknowledgements".

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the analytic-to-formal Gevrey decomposition is derived from fixed-point and exponential-decay estimates, with self-citations used as general tools rather than as restatements of the target result.

full rationale

The derivation chain in this paper is not circular. The analytic solution u_{d1,d2} is constructed in Theorem 1 from a double Laplace transform of a Borel-plane fixed point obtained in Propositions 1-5, and no parameter is fitted to the claimed asymptotic expansions. The two-level Gevrey conclusion for J1 is obtained by estimating adjacent-sector differences in Proposition 6 and then invoking the two-level Ramis-Sibuya theorem (Theorem 3, quoted from [13]) in Proposition 7; the Gevrey bounds for J2 and J3 come from explicit integral estimates in Propositions 8-9. Although [13] and [12] are prior papers by the same authors, the cited items are general analytical tools (multilevel Ramis-Sibuya theorem and inverse-Fourier convolution identities), not reformulations of the present PDE conclusion, so their use is routine self-citation rather than circular reasoning. I found no equation whose definition presupposes the claimed Gevrey orders and no fitted quantity renamed as a prediction. One caveat, flagged for completeness rather than as circularity: in Proposition 7 the partition I1 = 'Case 1 or Case 3' and I2 = Case 2 appears reversed relative to Theorem 3's hypotheses, since Cases 1 and 3 yield exp(-C/|epsilon|^{k2}) while I1 requires exp(-M/|epsilon|^{k1}); this is a possible technical gap in the proof of Proposition 7, not a circular step.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard spectral and smallness assumptions, plus two published tools: the multilevel Ramis-Sibuya theorem and inverse Fourier convolution identities. There is no data fitting, no invented physical entity, and no parameter fitted to observations. The only hand-chosen quantities are smallness thresholds that are hypotheses of the existence theorems.

free parameters (1)
  • Smallness thresholds (epsilon_0, rho_1, rho_2, C_{P1}, C_{P2}, K_tilde) = small enough, no explicit numeric value
    The existence and contraction arguments require these constants to be sufficiently small. They are conditions on the data and auxiliary constructions, not quantities fitted to external measurements.
assumptions (6)
  • domain assumption Assumptions (6)-(8): deg Q >= deg R >= deg R_l, R(im), Q(im), R_l(im) nonzero, and Q(im)/R(im) lies in an infinite sector S_{Q,R}.
    Needed in Lemma 5 and Lemma 6 for the lower bound on the symbol P_m. Without it the Borel construction on sectors fails.
  • domain assumption Structural constraints (3)-(5), the relation delta_1 k_1 = delta_2 k_2, and the inequalities on Delta_l.
    These define the class of PDEs and ensure the irregular monomial operators can be rewritten in terms of the distinguished operators so that the convolution estimates in the Borel plane remain finite.
  • domain assumption Coefficient functions C_l and F_{n1,n2} belong to the weighted Fourier space E_{(beta,mu)} with decay e^{-beta|m|}, and mu > deg(P)+1.
    Ensures inverse Fourier transforms are holomorphic on horizontal strips and that the convolution estimates in Propositions 10-13 hold.
  • domain assumption Smallness of K_tilde, C_{P1}, C_{P2}, epsilon_0, rho_1, rho_2.
    Contraction mapping and convergence of the Laplace integrals require smallness. This is a standard existence hypothesis, not a fitted value.
  • standard math Multilevel Ramis-Sibuya theorem, stated as Theorem 3 and cited from [13].
    Used in Proposition 7 to convert exponential decay of differences into Gevrey asymptotics of orders 1/k1 and 1/k2. It is a published theorem from the authors' previous work.
  • standard math Properties of inverse Fourier transform and convolution, cited from [12] as Proposition 10.
    Used to pass between products in z-space and convolutions in m-space. This is a standard result in the Fourier analysis of weighted spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Parametric formal Gevrey asymptotic expansions in two complex time variable problems." pith.science (2026). https://pith.science/paper/V3OM34IF

@misc{pith2026250600916,
  author       = {Pith},
  title        = {Pith review of: Parametric formal Gevrey asymptotic expansions in two complex time variable problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V3OM34IF}},
  note         = {Machine review of arXiv:2506.00916}
}
read the original abstract

The analytic and formal solutions to a family of singularly perturbed partial differential equations in the complex domain involving two complex time variables are considered. The analytic continuation properties of the solution of an auxiliary problem in the Borel plane overcomes the absence of adequate domains which would guarantee summability of the formal solution. Moreover, several exponential decay rates of the difference of analytic solutions with respect to the perturbation parameter at the origin are observed, leading to several asymptotic levels relating the analytic and the formal solution.

Figures

Figures reproduced from arXiv: 2506.00916 by the authors.

Figure 1
Figure 1. Concatenation of paths, for j = p Let j ∈ {p, p + 1}. We define θp = (dp + dp+1)/2, and consider the concatenation of paths Lθp,p+1,0,ρ1/4 + Cθp,p+1,dj ,ρ1/4 + Ldj ,ρ1/4,ρ1/2 , (see [PITH_FULL_IMAGE:figures/full_fig_p025_1.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Balser,Multisummability of complete formal solutions for non-linear systems of mero- morphic ordinary differential equations.Complex Var

    W. Balser,Multisummability of complete formal solutions for non-linear systems of mero- morphic ordinary differential equations.Complex Var. Theory Appl. 34 (1-2) (1997) 19–24

    work page 1997

  2. [2]

    Balser,Formal power series and linear systems of meromorphic ordinary differential equations.Universitext

    W. Balser,Formal power series and linear systems of meromorphic ordinary differential equations.Universitext. Springer-Verlag, New York, 2000. xviii+299 pp

    work page 2000

  3. [3]

    Balser,Multisummability of formal power series solutions of partial differential equations with constant coefficients.J

    W. Balser,Multisummability of formal power series solutions of partial differential equations with constant coefficients.J. Differential Equations 201 (2004), no. 1, 63–74

    work page 2004

  4. [4]

    Balser, B

    W. Balser, B. Braaksma, J.-P. Ramis, Y. Sibuya,Multisummability of formal power series solutions of linear ordinary differential equations.Asymptot. Anal. 5(1) (1991) 27–45

    work page 1991

  5. [5]

    Braaksma,Multisummability of formal power series solutions of nonlinear meromorphic differential equations.Ann

    B. Braaksma,Multisummability of formal power series solutions of nonlinear meromorphic differential equations.Ann. Inst. Fourier (Grenoble) 42(3) (1992) 517–540

    work page 1992

  6. [6]

    G. Chen, A. Lastra, S. Malek,Parametric Gevrey asymptotics in two complex time variables through truncated Laplace transforms.Adv. Differ. Equ. 2020, 307 (2020)

    work page 2020

  7. [7]

    Costin, S

    O. Costin, S. Tanveer,Short time existence and Borel summability in the Navier-Stokes equation inR 3, Comm. Partial Differential Equations 34 (2009), no. 7-9, 785–817

    work page 2009

  8. [8]

    Hsieh, Y

    P. Hsieh, Y. Sibuya,Basic theory of ordinary differential equations. Universitext. Springer- Verlag, New York, 1999

    work page 1999

Show all 30 references
  1. [9]

    Jim´ enez-Garrido, S

    J. Jim´ enez-Garrido, S. Kamimoto, A. Lastra, J. Sanz,Multisummability in Carleman ul- traholomorphic classes by means of nonzero proximate orders,J. Math. Anal. Appl. 472, No. 1 (2019) 627–686

    2019

  2. [10]

    Lastra, S

    A. Lastra, S. Malek,On parametric Gevrey asymptotics for some nonlinear initial value problems in symmetric complex time variables,Asymptotic Anal. 118 (2020) No. 1–2, 49– 79

    2020

  3. [11]

    Lastra, S

    A. Lastra, S. Malek,On parametric Gevrey asymptotics for some initial value problems in two asymmetric complex time variables,Results Math. 73 (2018), no. 4, Art. 155, 46 pp

    2018

  4. [12]

    Lastra, S

    A. Lastra, S. Malek,On parametric Gevrey asymptotics for some nonlinear initial value Cauchy problems.J. Differential Equations 259 (2015), no. 10, 5220–5270

    2015

  5. [13]

    Lastra, S

    A. Lastra, S. Malek,On parametric multisummable formal solutions to some nonlinear initial value Cauchy problems.Adv. Difference Equ. 2015, 2015:200, 78 pp

    2015

  6. [14]

    Lastra, S

    A. Lastra, S. Malek,Multiscale Gevrey asymptotics in boundary layer expansions for some initial value problem with merging turning points.Adv. Differential Equations 24 no.1–2 (2019), 69–136. 46

    2019

  7. [15]

    Lastra, S

    A. Lastra, S. Malek,Boundary layer expansions for initial value problems with two complex time variables.Adv. Difference Equations 2020, Paper No. 20 (2020)

    2020

  8. [16]

    Lastra, S

    A. Lastra, S. Michalik, M. Suwi´ nska,Multisummability of formal solutions ofr a family of generalized singularly perturbed moment differential equations.Results Math. 78, 49 (2023)

    2023

  9. [17]

    Loday-Richaud,Stokes phenomenon, multisummability and differential Galois groups

    M. Loday-Richaud,Stokes phenomenon, multisummability and differential Galois groups. Ann. Inst. Fourier (Grenoble) 44(3) (1994) 849–906

    1994

  10. [18]

    Loday-Richaud, Divergent series, summability and resurgence

    M. Loday-Richaud, Divergent series, summability and resurgence. II. Simple and multiple summability. Lecture Notes in Mathematics, 2154. Springer, 2016

    2016

  11. [19]

    Malek,On a partialq−analog of a singularly perturbed problem with fuchsian and irregu- lar time singularities, Abstract and Applied Analysis, vol

    S. Malek,On a partialq−analog of a singularly perturbed problem with fuchsian and irregu- lar time singularities, Abstract and Applied Analysis, vol. 2020 (2020) Article ID 7985298

    2020

  12. [20]

    Malek,Double-scale expansions for a logarithmic type solution to a q-analog of a singu- lar initial value problem

    S. Malek,Double-scale expansions for a logarithmic type solution to a q-analog of a singu- lar initial value problem. Abstract and Applied Analysis, Volume 2023 (2023) Article ID 3025513

    2023

  13. [21]

    Malgrange, J.-P

    B. Malgrange, J.-P. Ramis,Fonctions multisommables.Ann. Inst. Fourier (Grenoble) 42(1-

  14. [22]

    Michalik,On the multisummability of divergent solutions of linear partial differential equations with constant coefficients.J

    S. Michalik,On the multisummability of divergent solutions of linear partial differential equations with constant coefficients.J. Differential Equations 249(3) (2010) 551–570

    2010

  15. [23]

    Michalik,Multisummability of formal solutions of inhomogeneous linear partial differen- tial equations with constant coefficients, J

    S. Michalik,Multisummability of formal solutions of inhomogeneous linear partial differen- tial equations with constant coefficients, J. Dyn. Control Syst. 18 (2012) 103–133

    2012

  16. [24]

    Ouchi,Multisummability of formal power series solutions of nonlinear partial differential equations in complex domains

    S. Ouchi,Multisummability of formal power series solutions of nonlinear partial differential equations in complex domains. Asymptotic Anal. 47 (2006), no. 3-4, 187–225

    2006

  17. [25]

    Ramis, Y

    J.-P. Ramis, Y. Sibuya,A new proof of multisummability of formal solutions of nonlinear meromorphic differential equations.Ann. Inst. Fourier (Grenoble) 44(3) (1994) 811-848

    1994

  18. [26]

    Tahara,Asymptotic existence theorem for formal solutions with singularities of nonlinear partial differential equations via multisummability.J

    H. Tahara,Asymptotic existence theorem for formal solutions with singularities of nonlinear partial differential equations via multisummability.J. Math. Soc. Japan 75 (2023) No. 3, 1055–1117

    2023

  19. [27]

    Tahara, H

    H. Tahara, H. Yamazawa,Multisummability of formal solutions to the Cauchy problem for some linear partial differential equations, J. Differential Equations, Volume 255, Issue 10, 15 November 2013, pages 3592–3637

    2013

  20. [28]

    Takei,On the multisummability of WKB solutions of certain singularly perturbed linear ordinary differential equations, Opuscula Math

    Y. Takei,On the multisummability of WKB solutions of certain singularly perturbed linear ordinary differential equations, Opuscula Math. 35 no. 5 (2015), 775–802

    2015

  21. [29]

    Yamazawa,On multisummability of formal solutions with logarithmic terms for some linear partial differential equations, Funkc

    H. Yamazawa,On multisummability of formal solutions with logarithmic terms for some linear partial differential equations, Funkc. Ekvacioj, 60, No. 3 (2017), 371–406

    2017

  22. [30]

    Yoshino,Parametric Borel summability of partial differential equations of irregular sin- gular type

    M. Yoshino,Parametric Borel summability of partial differential equations of irregular sin- gular type. Analytic, algebraic and geometric aspects of differential equations, 455–471, Trends Math., Birkh¨ auser/Springer, Cham, 2017

    2017

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.