pith. sign in

arxiv: 1907.02620 · v1 · pith:JNLXM3DEnew · submitted 2019-07-04 · 🧮 math.DS · math-ph· math.MP

On singular Frobenius for second order linear partial differential equations

Victor Le\'on , Bruno Sc\'ardua This is my paper

Pith reviewed 2026-05-25 08:34 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MP
keywords frobenius methodpartial differential equationsindicial conicregular singularitieseuler-type pdeseries solutionsnonresonance conditionsingular pdes
0
0 comments X

The pith

A Frobenius-style series method solves analytic second-order linear PDEs by associating each Euler-type equation with an indicial conic.

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

The paper extends the classical Frobenius method to second-order linear partial differential equations in the analytic category. It defines Euler-type PDEs, attaches an indicial conic (a quadratic affine curve) to each, and introduces regular singularities whose convergence depends on the PDE type together with a nonresonance condition. This recovers explicit series solutions for the heat, wave, and Laplace equations and applies to a wider class than separable equations. The same framework produces PDE models for classical ODEs such as Airy, Legendre, Laguerre, Hermite, and Chebyshev, reproducing their known polynomial solutions in several cases.

Core claim

By associating an indicial conic to an Euler-type PDE and imposing a nonresonance condition (a reticulate having no vertices on the conic), power-series solutions converge for parabolic, elliptic, or hyperbolic equations, thereby furnishing algorithmic solutions to the classical PDEs and to an enlarged collection of equations.

What carries the argument

The indicial conic, a degree-two affine plane curve attached to an Euler-type PDE, which encodes the singularity data and supplies the geometric nonresonance criterion for convergence.

If this is right

  • Explicit algorithmic solutions are obtained for the heat, wave, and Laplace equations.
  • The class of PDEs possessing explicit series solutions is enlarged beyond those admitting separation of variables.
  • PDE models for the Airy, Legendre, Laguerre, Hermite, and Chebyshev ODEs are constructed in two distinct ways, one by restriction to lines through the origin and one by symmetry imitation.
  • Polynomial solutions appear for the PDE models of the Laguerre, Hermite, and Chebyshev equations.

Where Pith is reading between the lines

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

  • The geometric reading of the nonresonance condition as a reticulate-conic incidence may unify singularity analysis between ODEs and PDEs.
  • The method could be tested on additional linear PDEs arising in physics to check whether the indicial-conic criterion remains decisive.
  • Similar indicial constructions might be attempted for selected higher-order or systems of linear PDEs.

Load-bearing premise

Series convergence requires both the PDE type (parabolic, elliptic or hyperbolic) and a nonresonance condition on the indicial conic.

What would settle it

A concrete second-order linear analytic PDE in which the nonresonance condition fails yet the formal series converges in a neighborhood of the singular locus.

read the original abstract

The main subject of this paper is the study of analytic second order linear partial differential equations. We aim to solve the classical equations and some more, in the real or complex analytical case. This is done by introducing methods inspired by the method of Frobenius method for second order linear ordinary differential equations. We introduce a notion of Euler type partial differential equation. To such a PDE we associate an indicial conic, which is an affine plane curve of degree two. Then comes the concept of regular singularity and finally convergence theorems, which must necessarily take into account the type of PDE (parabolic, elliptical or hyperbolic) and a nonresonance condition. This condition gives a new geometric interpretation of the original condition between the roots of the original Frobenius theorem for second order ODEs. The interpretation is something like, a certain reticulate has or not vertices on the indexical conic. Finally, we retrieve the solution of all the classical PDEs by this method (heat diffusion, wave propagation and Laplace equation), and also increase the class of those that have explicit algorithmic solution to far beyond those admitting separable variables. The last part of the paper is dedicated to the construction of PDE models for the classical ODEs like Airy, Legendre, Laguerre, Hermite and Chebyshev by two different means. One model is based on the requirement that the restriction of the PDE to lines through the origin must be the classical ODE model. The second is based on the idea of having symmetries on the PDE model and imitating the ODE model. We study these PDEs and obtain their solutions, obtaining for the framework of PDEs some of the classical results, like existence of polynomial solutions (Laguerre, Hermite and Chebyshev polynomials).

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

2 major / 1 minor

Summary. The manuscript extends the classical Frobenius method from ODEs to analytic second-order linear PDEs. It introduces Euler-type PDEs, associates to them an indicial conic (an affine plane curve of degree two), defines a notion of regular singularity, and states convergence theorems that depend on the PDE type (parabolic, elliptic, or hyperbolic) together with a nonresonance condition. The nonresonance condition receives a geometric interpretation in terms of the absence of reticulate vertices on the indicial conic. The paper claims to recover the known solutions of the heat, wave, and Laplace equations, to enlarge the class of PDEs admitting explicit algorithmic solutions beyond those separable by variables, and to construct two families of PDE models for the classical ODEs (Airy, Legendre, Laguerre, Hermite, Chebyshev) whose solutions reproduce known ODE results such as the existence of polynomial solutions.

Significance. If the convergence theorems are rigorously proved and the nonresonance condition is verified for the classical operators, the work supplies a unified geometric framework that recovers standard PDE solutions while extending the reach of explicit series methods. The reduction of the nonresonance condition to the classical root-separation condition in the separable case, together with the construction of PDE models that preserve polynomial solutions, would constitute a concrete advance in analytic PDE theory.

major comments (2)
  1. [Convergence theorems and applications to classical PDEs (abstract and final sections)] The central retrieval claim for the heat, wave, and Laplace equations rests on the convergence theorems, which require both the appropriate PDE type and satisfaction of the nonresonance condition (absence of reticulate vertices on the indicial conic). The manuscript provides no explicit computation of the indicial conic or verification that the nonresonance condition holds for any of these three operators; without such verification the claim that the method retrieves all classical solutions does not follow from the stated theorems.
  2. [Indicial conic and nonresonance condition] The reduction of the new geometric nonresonance condition to the classical Frobenius root condition is asserted for the separable case, yet no explicit calculation is supplied showing that the indicial conic degenerates to the familiar indicial equation when the PDE is restricted to lines through the origin or when variables separate. This reduction is load-bearing for consistency with the ODE theory that the paper aims to generalize.
minor comments (1)
  1. The abstract contains the typographical error 'indexical conic' (should be 'indicial conic').

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The two major comments identify places where explicit verifications are needed to support the claims. We address each below and will revise the manuscript to include the requested calculations.

read point-by-point responses

  1. Referee: [Convergence theorems and applications to classical PDEs (abstract and final sections)] The central retrieval claim for the heat, wave, and Laplace equations rests on the convergence theorems, which require both the appropriate PDE type and satisfaction of the nonresonance condition (absence of reticulate vertices on the indicial conic). The manuscript provides no explicit computation of the indicial conic or verification that the nonresonance condition holds for any of these three operators; without such verification the claim that the method retrieves all classical solutions does not follow from the stated theorems.

    Authors: We agree that the manuscript does not contain explicit computations of the indicial conics or verifications of the nonresonance condition for the heat, wave, and Laplace operators. While the general convergence theorems are stated in terms of PDE type and the nonresonance condition, the specific applications to these classical equations were not carried out in detail. In the revised manuscript we will add these computations in the final sections, confirming the indicial conics and verifying the absence of reticulate vertices, thereby substantiating the retrieval claim. revision: yes

  2. Referee: [Indicial conic and nonresonance condition] The reduction of the new geometric nonresonance condition to the classical Frobenius root condition is asserted for the separable case, yet no explicit calculation is supplied showing that the indicial conic degenerates to the familiar indicial equation when the PDE is restricted to lines through the origin or when variables separate. This reduction is load-bearing for consistency with the ODE theory that the paper aims to generalize.

    Authors: We acknowledge that the manuscript asserts the reduction of the geometric nonresonance condition to the classical root-separation condition but does not supply an explicit calculation demonstrating the degeneration of the indicial conic to the standard indicial equation in the separable case or along lines through the origin. This explicit reduction is indeed important for consistency with ODE theory. We will add a dedicated calculation or subsection in the revised manuscript showing this degeneration. revision: yes

Circularity Check

0 steps flagged

No circularity: extension of Frobenius method via new geometric objects remains independent of its inputs

full rationale

The paper defines Euler-type PDEs, associates an indicial conic, introduces regular singularities, and states convergence theorems conditioned on PDE type plus a nonresonance condition whose geometric meaning (absence of reticulate vertices on the indicial conic) is presented as an explicit reinterpretation of the classical ODE root condition. These objects are constructed from the coefficients of the given PDE rather than presupposing the target solutions. The claim that classical equations (heat, wave, Laplace) are recovered is an application of the stated theorems, not a definitional identity or a fitted parameter renamed as prediction. No load-bearing step reduces by construction to a self-citation or to the output being solved for; the nonresonance condition functions as an external hypothesis whose verification for specific operators is independent of the derivation itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The paper relies on standard assumptions of analytic coefficients and introduces new geometric objects (indicial conic, regular singularity for PDEs) without independent evidence outside the method. No free parameters are evident from the abstract.

axioms (2)
  • domain assumption The coefficients of the PDE are analytic functions.
    Required for considering series solutions in the analytic category.
  • domain assumption The PDE is of Euler type or can be reduced to one.
    Necessary to associate the indicial conic.
invented entities (2)
  • indicial conic no independent evidence
    purpose: An affine plane curve of degree two associated to an Euler-type PDE to determine exponents in the series solution.
    Newly defined in the paper.
  • regular singularity (PDE version) no independent evidence
    purpose: Condition on the indicial conic allowing convergent series solutions.
    Defined as part of the new framework.

pith-pipeline@v0.9.0 · 5852 in / 1634 out tokens · 35606 ms · 2026-05-25T08:34:26.446253+00:00 · methodology

discussion (0)

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