Pith. sign in

REVIEW 4 major objections 6 minor 23 references

Fundamental solutions of the generalized Helmholtz equation with several singular coefficients and confluent hypergeometric functions of many variables

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper introduces a new class of many-variable confluent hypergeometric functions and uses it to write all fundamental solutions of the generalized Helmholtz equation with n singular coefficients explicitly, with singularity of order…

desk verdict The new special function and decomposition are worth knowing, but the explicit fundamental solution formula (5.5) does not follow from the hypergeometric system, so the paper needs correction before it can be used. read the letter →

arxiv 1908.07158 v1 pith:WDEMWGN5 submitted 2019-08-20 math.AP

Tuhtasin Ergashev This is my paper · ORCID
classification math.AP MSC 35A0833C6533C7035J05
keywords confluenthypergeometricfunctionsLauricellafundamentalsolutionsgeneralizedHelmholtzequationsingularcoefficientsdecompositionformulasymbolicoperatorssingularityorder
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 introduces a new family of confluent hypergeometric functions of many variables, $H_A^{(n,p)}$, defined as a confluent limit of a generalized hypergeometric $H$-function of several variables, and proves that this family supplies explicit fundamental solutions for the generalized Helmholtz equation with $n$ singular coefficients. The central claim is that every fundamental solution of equation (1.1) is captured by formula (5.5), a separated expression $u=P(r)\omega(\xi,\eta_1)$ in which the angular part is one of the $2^n$ solutions of a hypergeometric system written with $H_A^{(n,1)}$. Using decomposition formulas that expand $H_A^{(n,1)}$ into one-variable hypergeometric functions, the paper shows each solution is singular of order $r^{2-m}$ as $r\to 0$ for $m>2$, and logarithmically for $m=2$. The same construction is extended to equation (7.1), where several Helmholtz parameters $\lambda_k$ appear, yielding fundamental solutions (7.4) through $H_A^{(n,p)}$. A reader would care because explicit fundamental solutions are the standard route to integral representations and boundary-value solvability for singular elliptic equations.

What carries the argument

The carrying object is the many-variable confluent hypergeometric function $H_A^{(n,p)}(a,b_1,\ldots,b_n;c_1,\ldots,c_n;\xi,\eta)$, defined by the multiple series (2.2) as a confluent limit of a generalized hypergeometric $H$-function of several variables; when $p=1$ it reduces to (4.1). The mechanism that connects this function to the differential equation is the separated ansatz $u(x,x_0)=P(r)\omega(\xi,\eta_1)$ with $P(r)=(r^2)^{-\alpha}$, $\alpha=\sum_{i=1}^n\alpha_i-1+m/2$, and with the ratio variables $\xi_j=(r^2-r_j^2)/r^2$ and the confluent variable $\eta_1=-\lambda^2 r^2/4$. Substitution turns equation (1.1) into the hypergeometric system (5.4), whose solutions are taken from the Kummer-type family (4.3); combining these with $P(r)$ yields (5.5). The singularity analysis relies on a symbolic-operator technique and the decomposition formula (4.5), which express $H_A^{(n,1)}$ as a sum of products of Lauricella-type functions and one-variable confluent functions; the limit $r\to 0$ is then evaluated with the identity quoted from [21, p.94].

What would settle it

For $m=3$, $n=1$, $\alpha_1=1/4$ and $\lambda=0$, compute $q_0$ from (5.5) and test distributionally whether $(\Delta+(1/(2x_1))\partial_{x_1})q_0=\delta(x-x_0)$; a mismatch would show (5.5) is not a fundamental solution. Independently, evaluating the multivariable identity on [21, p.94] at $n=2$ would confirm or refute the predicted $r^{2-m}$ order.

Watch

Extended reading notes

Core claim

The paper claims that all fundamental solutions of the generalized Helmholtz equation with several singular coefficients can be written explicitly as $q_k(x,x_0)=\gamma_k\prod_{i=1}^{k}(x_i x_{0i})^{1-2\alpha_i} r^{-2\widetilde{\alpha}_k} H_A^{(n,1)}[\widetilde{\alpha}_k,1-\alpha_1,\ldots,1-\alpha_k,\alpha_{k+1},\ldots,\alpha_n; 2-2\alpha_1,\ldots,2-2\alpha_k,2\alpha_{k+1},\ldots,2\alpha_n;\xi,\eta_1]$ for $k=0,\ldots,n$, where $\gamma_k$ and $\widetilde{\alpha}_k$ are defined by (5.6) and (5.7). The variables are $\xi_j=(r^2-r_j^2)/r^2$ and $\eta_1=-\lambda^2 r^2/4$, with $r_j$ the distance from $x$ to the reflection of $x_0$ in the $j$-th coordinate plane. The proof substitutes the ansatz $u=P(r)\omega(\xi,\eta_1)$, reduces equation (1.1) to the hypergeometric system (5.4), and identifies its solutions with the Kummer-type family (4.3). The same argument for equation (7.1) gives (7.4) through $H_A^{(n,p)}$. As $r\to 0$, each $q_k$ has a singularity of order $r^{2-m}$ for $m>2$, and the $m=2$ case is logarithmic.

Load-bearing premise

The claim that (5.5) gives all fundamental solutions rests on the separated ansatz $u=(r^2)^{-\alpha}\omega(\xi,\eta_1)$ with $\alpha=\sum_i\alpha_i-1+m/2$ and on the assertion that the Kummer-type family (4.3) exhausts the solutions of the resulting hypergeometric system; the singularity order additionally rests on an identity quoted from [21, p.94].

Editorial extensions

If this is right

  • Formula (5.5) gives explicit integral kernels for potential theory on the singular half-space $\mathbb{R}^n_{+m}$, so boundary-value problems for equation (1.1) can be converted into integral equations with known kernels.
  • The uniform singularity order $r^{2-m}$ for $m>2$ matches the Laplacian's fundamental solution, so classical layer-potential estimates should transfer to this singular elliptic setting.
  • For $m=2$ the same family yields logarithmic singularity, resolving the borderline case of the construction.
  • Equation (7.1) with several parameters $\lambda_1,\ldots,\lambda_p$ has fundamental solutions (7.4) through $H_A^{(n,p)}$ with the same singularity type, so the method covers multi-frequency Helmholtz-type problems.
  • The decomposition formulas (3.13) and (4.5) reduce the new confluent function to one-variable hypergeometric terms, making the kernels computable in practice.

Reading between the lines

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

  • A direct numerical or symbolic check of the identity quoted from [21, p.94] for small $n$ would independently confirm the singularity-order step, since the paper does not prove that identity itself.
  • Because $H_A^{(n,p)}$ reduces to $H_A^{(n,1)}$ by summing the $\eta_j$ variables, the multi-parameter equation (7.1) is essentially a superposition of single-frequency fundamental solutions, which suggests Duhamel-type arguments for variable or nonlinear $\lambda$.
  • The confluent variable is tied to $\lambda^2 r^2/4$, so allowing complex $\lambda$ should produce oscillatory or damped kernels directly, potentially useful for dissipative Helmholtz or Klein-Gordon-type equations.
  • The completeness of the separated ansatz $u=P(r)\omega(\xi,\eta_1)$ is the natural next step to verify; if a fundamental solution requires a different radial factor, formula (5.5) would give only a particular subfamily.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The paper introduces a new confluent hypergeometric function H^{(n,p)}_A of several variables, derives a system of partial differential equations satisfied by it, and establishes decomposition formulas. It then uses a separation ansatz to construct fundamental solutions of the generalized Helmholtz equation (1.1) with n singular coefficients, claiming that all such solutions are given explicitly by formula (5.5) and that they have a singularity of order r^{2-m} as r tends to 0 for m>2. A similar statement is made for equation (7.1) with several parameters λ_k, with solutions in formula (7.4).

Significance. If the construction were correct, the paper would provide a unified explicit family of fundamental solutions for a class of multidimensional elliptic equations with several singular coefficients, extending earlier work that is mostly limited to n≤3. The new hypergeometric function and its decomposition formulas are potentially useful, and the paper does give checkable series definitions and a derived PDE system. However, the central explicit formula (5.5) contains a parameter mismatch that breaks the connection to the derived system, and the singularity proof relies on an identity quoted from the author's previous paper without proof. The significance of the contribution is therefore contingent on the corrections described below.

major comments (4)
  1. [§5, Eq. (5.5); §7, Eq. (7.4)] The system (5.4) is exactly the system (4.2) with a=α, b_i=α_i and c_i=2α_i. Applying the solution family (4.3) to (5.4) gives ω_k = C_k ∏_{i=1}^k ξ_i^{1-2α_i} H^{(n,1)}_A[α, 1-α_1,...,1-α_k, α_{k+1},...,α_n; 2-2α_1,...,2-2α_k, 2α_{k+1},...,2α_n; ξ,η_1]. The first argument of H must therefore be α, not \tildeα_k. Since \tildeα_k = α + k - 2Σ_{i=1}^k α_i, equality holds only when k=0. Consequently, for k≥1 the functions in (5.5) do not satisfy system (5.4) and are not shown to solve equation (1.1). The same mismatch appears in (7.4). This is a load-bearing error because the claim that all fundamental solutions are given by (5.5) is the main result of the paper; the first parameter should be α, with the constants γ_k in (5.6) adjusted accordingly.
  2. [§6, Eq. (6.4)] The singularity analysis is carried out only for q0, and the decisive limit (6.4) uses the identity [21, p.94, (33)] without proof. Since this identity is quoted from the author's own previous paper and is nontrivial, the claimed singularity order r^{2-m} is not established within the manuscript. For qi with i=1,...,n, the text says 'similarly' without specifying the relevant parameters or verifying that the same summation identity applies after the correction in (5.5). Because the singularity order is a central advertised result, this gap must be addressed, either by proving the quoted identity or by supplying the missing calculations for all k.
  3. [§5, reduction from (5.3) to (5.4)] The derivation from the equation in (5.3) to the system (5.4) is compressed into a single sentence. The coefficients in (5.3) contain ratios x0_i/x_i, and it is not transparent how these cancel to yield the x-independent system (5.4). Since (5.4) is the basis for all explicit solutions, the authors should provide the full computation or a detailed outline showing that the separation ansatz leads exactly to this system.
  4. [§4, formula (4.3), and Abstract] The paper asserts that all solutions of system (4.2) are expressed by (4.3), but this system is a coupled PDE system in several variables, and the list (4.3) contains only n+1 symmetry-grouped solutions. No proof of completeness is given, nor is it shown that no other linearly independent solution can contribute to a fundamental solution of (1.1). The abstract and Section 5 use the phrase 'all fundamental solutions'; this is stronger than what is demonstrated. The authors should either prove the needed completeness or explicitly qualify the statement to 'all fundamental solutions obtained by this separation ansatz.'
minor comments (6)
  1. [§5, sentence before Eq. (5.5)] The phrase 'substituting these solutions in (5)' is unclear because no equation (5) exists; it should refer to the ansatz preceding (5.1) or to equation (1.1).
  2. [§7, after Eq. (7.2)] The text says 'substitute them into equation (1.1)', but it should say equation (7.1).
  3. [§5, Eq. (5.3)] The summation in (5.3) uses index m while the coefficients are labelled A_k, B_mk, etc.; the notation should be made consistent.
  4. [§2, after (2.2)] The equality H^{(n,p)}_A(...; η_1,...,η_p) = H^{(n,1)}_A(...; η_1+...+η_p) is stated without justification; it follows from the series expansion but should be stated with the appropriate convergence conditions.
  5. [General] The manuscript contains many typographical and language issues, such as 'сonsidered', 'F undamental', and inconsistent spacing in formulas; a careful proofreading is needed.
  6. [§6, Eq. (5.6) after correction of (5.5)] After replacing the first argument of H in (5.5) with α, the constants γ_k in (5.6) must be recomputed; as written they contain Γ(\tildeα_k) and are inconsistent with a hypergeometric function whose first parameter is α except in the case k=0.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; the derivation is self-contained, and the only self-citation is a minor supporting summation identity.

full rationale

The claimed derivation is not circular. Section 5 introduces the separated ansatz u=P(r)omega with P given by (5.1), differentiates it, and reduces (1.1) to the hypergeometric system (5.4); the parameters in (5.4) are computed from the PDE coefficients, not imposed to match the intended output. The solution family (4.3), in turn, comes from applying the standard Fuchsian substitution xi^{1-c} to the system (2.4), which is derived by direct differentiation of the defining series (2.2). Thus (5.5) is obtained by solving a genuinely derived system, not by restating the answer. The only self-citation in the chain is identity [21, p.94,(33)] used at (6.4) to evaluate the constant multiplying r^{2-m}; this is a separate algebraic summation formula, it is not an equivalent formulation of (1.1) or of the fundamental-solution formula, and it does not supply the r^{2-m} factor, which is already explicit in (6.2). A separate correctness concern, that the first argument of H in (5.5) is written as tilde-alpha_k whereas system (5.4) corresponds to a=alpha for the direct solution of (4.3), and that the 'all fundamental solutions' claim assumes completeness of the separated ansatz, is a validity/completeness objection rather than a circular input-output reduction. No fitted parameter is renamed as a prediction, and no unsupported uniqueness theorem is imported.

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

The construction rests on standard convergence and differentiation facts for hypergeometric series, the parameter restrictions of the original PDE, the completeness of the Kummer-type solution family (2.5), and one self-cited summation identity [21] used to compute the singularity limit. No numeric parameters are fitted; α_j and λ are inputs of the problem.

assumptions (4)
  • standard math The series defining H^(n,p)_A and the Lauricella functions converge in the stated regions and can be differentiated termwise.
    Used throughout Sections 2-4, especially in the derivation formula (2.3) and the PDE system (2.4).
  • domain assumption The parameters satisfy 0 < 2α_j < 1 and the domain has x_j>0, so the singular coefficients have integrable boundary singularities.
    Equation (1.1) and the fundamental solutions (5.5) are stated under this condition; it is used for the Gamma ratios and boundary behavior.
  • ad hoc to paper The summation identity [21, p.94, (33)] used in Section 6 is correct and applicable.
    Equation (6.4) uses this identity to evaluate the limit of f1; it is quoted from the author's earlier paper and not proved here.
  • ad hoc to paper The Kummer-type family (2.5) supplies all linearly independent solutions of the hypergeometric system (2.4) that are needed for the fundamental-solution ansatz.
    The claim that all fundamental solutions are obtained depends on the completeness of this solution family, which is asserted rather than proved in the paper.
invented entities (1)
  • Confluent hypergeometric function H^(n,p)_A(a,b_1,...,b_n;c_1,...,c_n;ξ,η)
    purpose: Express fundamental solutions of equations (1.1) and (7.1) in closed form.
    Defined in this paper in Eq. (2.2). Its special cases H3 and A2 match known functions, but the general object has no external falsifiable handle.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fundamental solutions of the generalized Helmholtz equation with several singular coefficients and confluent hypergeometric functions of many variables." pith.science (2026). https://pith.science/paper/WDEMWGN5

@misc{pith2026190807158,
  author       = {Pith},
  title        = {Pith review of: Fundamental solutions of the generalized Helmholtz equation with several singular coefficients and confluent hypergeometric functions of many variables},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WDEMWGN5}},
  note         = {Machine review of arXiv:1908.07158}
}
read the original abstract

In this paper, we introduce a new class of confluent hypergeometric functions of many variables, study their properties, and determine a system of partial differential equations that this function satisfies. It turns out that all the fundamental solutions of the generalized Helmholtz equation with several singular coefficients are written out through the newly introduced confluent hypergeometric function. Using the expansion formula established here for the confluent function, the order of the singularity of the fundamental solutions of the elliptic equation under this consideration is determined.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [12]

    Urinov, T.G

    A.K. Urinov, T.G. Ergashev, Confluent hypergeometric fu nctions of many variables and their application to the finding of fundamental solutions of the ge neralized Helmholtz equation with singular coefficients, Vestnik Tomskogo gosudarstvennogo u niversiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechani cs]. 55. 2018. p.45-56

    work page 2018

  2. [21]

    Ergashev, The Dirichlet problem for elliptic equat ion with several singular coefficients, e-Journal of Analysis and Applied Mathematics, 2018 (1), p

    T.G. Ergashev, The Dirichlet problem for elliptic equat ion with several singular coefficients, e-Journal of Analysis and Applied Mathematics, 2018 (1), p. 81-99. DOI 10.2478/ejaam-2018-0006

    work page doi:10.2478/ejaam-2018-0006 2018

  3. [1]

    Erdelyi, W

    A. Erdelyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Higher Transcendental Functions. 1. New York, Toronto and London: McGraw-Hill Book Company.1953. 3 02 p

    work page 1953

  4. [2]

    Srivastava, P.W

    H.M. Srivastava, P.W. Karlsson, Multiple Gaussian Hypergeometric Series . New York, Chichester, Brisbane and Toronto: Halsted Press. 1985. 426 p

    work page 1985

  5. [3]

    Jain, The confluent hypergeometric functions of thre e variables

    R.N. Jain, The confluent hypergeometric functions of thre e variables. Proc.Nat.Acad.Sci.India Sect. A. 36. 1966. p. 395-408. 11

    work page 1966

  6. [4]

    Exton, On certain confluent hypergeometric of three var iables

    H. Exton, On certain confluent hypergeometric of three var iables. Ganita. 21(2).1970. p. 79-92

    work page 1970

  7. [5]

    Urinov, On fundamental solutions for the some type of the elliptic equations with singular coefficients

    A.K. Urinov, On fundamental solutions for the some type of the elliptic equations with singular coefficients. Nauchnyj vestnik Ferganskogo gosudarstvenno go universiteta - Scientific Records of Fergana State university. 1.2006. p. 5-11

    work page 2006

  8. [6]

    Hasanov, Fundamental solutions bi-axially symmetric Helmholtz equation

    A. Hasanov, Fundamental solutions bi-axially symmetric Helmholtz equation. Complex Variables and Elliptic Equations. 52(8).2007. p. 673-683. DOI:10.10 80/17476930701300375

    work page 2007

Show all 23 references
  1. [7]

    Hasanov, E.T

    A. Hasanov, E.T. Karimov, Fundamental solutions for a cla ss of three-dimensional elliptic equations with singular coefficients. Applied Mathematic Le tters. 22. 2009. p. 1828-1832. DOI:10.1016/j.aml.2009.07.006

    2009 doi

  2. [8]

    Urinov, E.T

    A.K. Urinov, E.T. Karimov, On fundamental solutions for 3 D singular elliptic equations with a parameter. Applied Mathematic Letters. 24.2011. p. 314-31 9. DOI:10.1016/j.aml.2010.10.013

    2011 doi

  3. [9]

    Mavlyaviev, I.B

    R.M. Mavlyaviev, I.B. Garipov, Fundamebtal solutions of multidimensional axysymmetric Helmhottz equation, Complex Var.Elliptic Equtions, 62(3) 2017, p.28 4-296

    2017

  4. [10]

    Ergashev, A

    T.G. Ergashev, A. Hasanov, Fundamental solutions of the bi-axially symmetric Helmholtz equation. Uzbek Mathematical Journal, 2018, 1, p.55-64

    2018

  5. [11]

    Ergashev, On fundamental solutions for multidimen sional Helmholtz equation with three singular coefficients, Computers and Mathematics with Appli cations 77,2019, p

    T.G. Ergashev, On fundamental solutions for multidimen sional Helmholtz equation with three singular coefficients, Computers and Mathematics with Appli cations 77,2019, p. 69-76

    2019

  6. [13]

    Lauricella, Sille funzioni ipergeometriche a piu var iabili

    G. Lauricella, Sille funzioni ipergeometriche a piu var iabili. Rend.Circ.Mat. Palermo. 7.1893. pp. 111-158

  7. [14]

    Erdelyi, Integraldarstellungen fur Produkte Whitta kerscher Funktionen

    A. Erdelyi, Integraldarstellungen fur Produkte Whitta kerscher Funktionen. Nieuw Arch.Wisk. (2)

  8. [15]

    Appell, J.Kampe de Feriet, Fonctions Hypergeometriques et Hyperspheriques; Polynom es d’Hermite, Gauthier - Villars

    P. Appell, J.Kampe de Feriet, Fonctions Hypergeometriques et Hyperspheriques; Polynom es d’Hermite, Gauthier - Villars. Paris, 1926. 440 p

    1926

  9. [16]

    Burchnall, T.W

    J.L. Burchnall, T.W. Chaundy, Expansions of Appell’s do uble hypergeometric functions. Quart. J. Math.(Oxford). 11. 1940. p. 249-270

    1940

  10. [17]

    Burchnall, T.W

    J.L. Burchnall, T.W. Chaundy, Expansions of Appell’s do uble hypergeometric functions.II. Quart. J. Math.(Oxford). 12. 1941. p. 112-128

    1941

  11. [18]

    Hasanov, H.M

    A. Hasanov, H.M. Srivastava, Some decomposition formul as associated with the Lauricella function and other multiple hypergeometric functions. Applied Math ematic Letters. 19(2). 2006. p.113-121. DOI:10.1016/j.aml.2005.03.009

    2006 doi

  12. [19]

    Hasanov, H.M

    A. Hasanov, H.M. Srivastava, Decomposition Formulas As sociated with the Lauricella Multivariable Hypergeometric Functions. Computers and Mathematics with Applications. 53(7). 2007. p. 1119-

    2007

  13. [20]

    Poole, Introduction to the Theory of Linear Differen tial Equations, Clarendon Press, Oxford, 1936, 202 p

    E.G. Poole, Introduction to the Theory of Linear Differen tial Equations, Clarendon Press, Oxford, 1936, 202 p

    1936

  14. [22]

    Srivastava, H.L

    H.M. Srivastava, H.L. Manocha, A Treatise on Generating Functions . Halsted Press (Ellis Horwood, Chichester), John Wiley and Sons, New York, Chichester, Bri sbane and Toronto, 1984, 570 p. 12

    1984

  15. [1128]

    DOI:10.1016/j.camwa.2006.07.007

    2006 doi

Pith tools

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