-
A Higher-Order Multiscale Method for the Wave Equation
Authors:
Felix Krumbiegel,
Roland Maier
Abstract:
In this paper we propose a multiscale method for the acoustic wave equation in highly oscillatory media. We use a higher-order extension of the localized orthogonal decomposition method combined with a higher-order time step** scheme and present rigorous a-priori error estimates in the energy-induced norm. We find that in the very general setting without additional assumptions on the coefficient…
▽ More
In this paper we propose a multiscale method for the acoustic wave equation in highly oscillatory media. We use a higher-order extension of the localized orthogonal decomposition method combined with a higher-order time step** scheme and present rigorous a-priori error estimates in the energy-induced norm. We find that in the very general setting without additional assumptions on the coefficient beyond boundedness, arbitrary orders of convergence cannot be expected but that increasing the polynomial degree may still considerably reduce the size of the error. Under additional regularity assumptions, higher orders can be obtained as well. Numerical examples are presented that confirm the theoretical results.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
An algebraic multiscale method for spatial network models
Authors:
Moritz Hauck,
Roland Maier,
Axel Målqvist
Abstract:
In this work, we present a multiscale approach for the reliable coarse-scale approximation of spatial network models represented by a linear system of equations with respect to the nodes of a graph. The method is based on the ideas of the Localized Orthogonal Decomposition (LOD) strategy and is constructed in a fully algebraic way. This allows to apply the method to geometrically challenging objec…
▽ More
In this work, we present a multiscale approach for the reliable coarse-scale approximation of spatial network models represented by a linear system of equations with respect to the nodes of a graph. The method is based on the ideas of the Localized Orthogonal Decomposition (LOD) strategy and is constructed in a fully algebraic way. This allows to apply the method to geometrically challenging objects such as corrugated cardboard. In particular, the method can also be applied to finite difference or finite element discretizations of elliptic partial differential equations, yielding an approximation with similar properties as the LOD in the continuous setting. We present a rigorous error analysis of the proposed method under suitable assumptions on the network. Moreover, numerical examples are presented that underline our theoretical results.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Boson Operator Ordering Identities from Generalized Stirling and Eulerian Numbers
Authors:
Robert S. Maier
Abstract:
Ordering identities in the Weyl-Heisenberg algebra generated by single-mode boson operators are investigated. A boson string composed of creation and annihilation operators can be expanded as a linear combination of other such strings, the simplest example being a normal ordering. The case when each string contains only one annihilation operator is already combinatorially nontrivial. Two kinds of…
▽ More
Ordering identities in the Weyl-Heisenberg algebra generated by single-mode boson operators are investigated. A boson string composed of creation and annihilation operators can be expanded as a linear combination of other such strings, the simplest example being a normal ordering. The case when each string contains only one annihilation operator is already combinatorially nontrivial. Two kinds of expansion are derived: (i) that of a power of a string $Ω$ in lower powers of another string $Ω'$, and (ii) that of a power of $Ω$ in twisted versions of the same power of $Ω'$. The expansion coefficients are shown to be, respectively, generalized Stirling numbers of Hsu and Shiue, and certain generalized Eulerian numbers. Many examples are given. These combinatorial numbers are binomial transforms of each other, and their theory is developed, emphasizing schemes for computing them: summation formulas, Graham-Knuth-Patashnik (GKP) triangular recurrences, terminating hypergeometric series, and closed-form expressions. The results on the first type of expansion subsume a number of previous results on the normal ordering of boson strings.
△ Less
Submitted 9 February, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
A localized orthogonal decomposition strategy for hybrid discontinuous Galerkin methods
Authors:
Peipei Lu,
Roland Maier,
Andreas Rupp
Abstract:
We formulate and analyze a multiscale method for an elliptic problem with an oscillatory coefficient based on a skeletal (hybrid) formulation. More precisely, we employ hybrid discontinuous Galerkin approaches and combine them with the localized orthogonal decomposition methodology to obtain a coarse-scale skeletal method that effectively includes fine-scale information. This work is a first step…
▽ More
We formulate and analyze a multiscale method for an elliptic problem with an oscillatory coefficient based on a skeletal (hybrid) formulation. More precisely, we employ hybrid discontinuous Galerkin approaches and combine them with the localized orthogonal decomposition methodology to obtain a coarse-scale skeletal method that effectively includes fine-scale information. This work is a first step to reliably merge hybrid skeletal formulations and localized orthogonal decomposition and unite the advantages of both strategies. Numerical experiments are presented to illustrate the theoretical findings.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Localized implicit time step** for the wave equation
Authors:
Dietmar Gallistl,
Roland Maier
Abstract:
This work proposes a discretization of the acoustic wave equation with possibly oscillatory coefficients based on a superposition of discrete solutions to spatially localized subproblems computed with an implicit time discretization. Based on exponentially decaying entries of the global system matrices and an appropriate partition of unity, it is proved that the superposition of localized solution…
▽ More
This work proposes a discretization of the acoustic wave equation with possibly oscillatory coefficients based on a superposition of discrete solutions to spatially localized subproblems computed with an implicit time discretization. Based on exponentially decaying entries of the global system matrices and an appropriate partition of unity, it is proved that the superposition of localized solutions is appropriately close to the solution of the (global) implicit scheme. It is thereby justified that the localized (and especially parallel) computation on multiple overlap** subdomains is reasonable. Moreover, a re-start is introduced after a certain amount of time steps to maintain a moderate overlap of the subdomains. Overall, the approach may be understood as a domain decomposition strategy in space on successive short time intervals that completely avoids inner iterations. Numerical examples are presented.
△ Less
Submitted 8 March, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
An improved high-order method for elliptic multiscale problems
Authors:
Zhaonan Dong,
Moritz Hauck,
Roland Maier
Abstract:
In this work, we propose a high-order multiscale method for an elliptic model problem with rough and possibly highly oscillatory coefficients. Convergence rates of higher order are obtained using the regularity of the right-hand side only. Hence, no restrictive assumptions on the coefficient, the domain, or the exact solution are required. In the spirit of the Localized Orthogonal Decomposition, t…
▽ More
In this work, we propose a high-order multiscale method for an elliptic model problem with rough and possibly highly oscillatory coefficients. Convergence rates of higher order are obtained using the regularity of the right-hand side only. Hence, no restrictive assumptions on the coefficient, the domain, or the exact solution are required. In the spirit of the Localized Orthogonal Decomposition, the method constructs coarse problem-adapted ansatz spaces by solving auxiliary problems on local subdomains. More precisely, our approach is based on the strategy presented by Maier [SIAM J. Numer. Anal. 59(2), 2021]. The unique selling point of the proposed method is an improved localization strategy curing the effect of deteriorating errors with respect to the mesh size when the local subdomains are not large enough. We present a rigorous a priori error analysis and demonstrate the performance of the method in a series of numerical experiments.
△ Less
Submitted 17 April, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Neural network approximation of coarse-scale surrogates in numerical homogenization
Authors:
Fabian Kröpfl,
Roland Maier,
Daniel Peterseim
Abstract:
Coarse-scale surrogate models in the context of numerical homogenization of linear elliptic problems with arbitrary rough diffusion coefficients rely on the efficient solution of fine-scale sub-problems on local subdomains whose solutions are then employed to deduce appropriate coarse contributions to the surrogate model. However, in the absence of periodicity and scale separation, the reliability…
▽ More
Coarse-scale surrogate models in the context of numerical homogenization of linear elliptic problems with arbitrary rough diffusion coefficients rely on the efficient solution of fine-scale sub-problems on local subdomains whose solutions are then employed to deduce appropriate coarse contributions to the surrogate model. However, in the absence of periodicity and scale separation, the reliability of such models requires the local subdomains to cover the whole domain which may result in high offline costs, in particular for parameter-dependent and stochastic problems. This paper justifies the use of neural networks for the approximation of coarse-scale surrogate models by analyzing their approximation properties. For a prototypical and representative numerical homogenization technique, the Localized Orthogonal Decomposition method, we show that one single neural network is sufficient to approximate the coarse contributions of all occurring coefficient-dependent local sub-problems for a non-trivial class of diffusion coefficients up to arbitrary accuracy. We present rigorous upper bounds on the depth and number of non-zero parameters for such a network to achieve a given accuracy. Further, we analyze the overall error of the resulting neural network enhanced numerical homogenization surrogate model.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Triangular Recurrences, Generalized Eulerian Numbers, and Related Number Triangles
Authors:
Robert S. Maier
Abstract:
Many combinatorial and other number triangles are solutions of recurrences of the Graham-Knuth-Patashnik (GKP) type. Such triangles and their defining recurrences are investigated analytically. They are acted on by a transformation group generated by two involutions: a left-right reflection and an upper binomial transformation, acting row-wise. The group also acts on the bivariate exponential gene…
▽ More
Many combinatorial and other number triangles are solutions of recurrences of the Graham-Knuth-Patashnik (GKP) type. Such triangles and their defining recurrences are investigated analytically. They are acted on by a transformation group generated by two involutions: a left-right reflection and an upper binomial transformation, acting row-wise. The group also acts on the bivariate exponential generating function (EGF) of the triangle. By the method of characteristics, the EGF of any GKP triangle has an implicit representation in terms of the Gauss hypergeometric function. There are several parametric cases when this EGF can be obtained in closed form. One is when the triangle elements are the generalized Stirling numbers of Hsu and Shiue. Another is when they are generalized Eulerian numbers of a newly defined kind. These numbers are related to the Hsu-Shiue ones by an upper binomial transformation, and can be viewed as coefficients of connection between polynomial bases, in a manner that generalizes the classical Worpitzky identity. Many identities involving these generalized Eulerian numbers and related generalized Narayana numbers are derived, including closed-form evaluations in combinatorially significant cases.
△ Less
Submitted 26 January, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Impact of Data Quality on Renewable Energy Potential Estimations
Authors:
Stanley Risch,
Rachel Maier,
Junsong Du,
Noah Pflugradt,
Peter Stenzel,
Leander Kotzur,
Detlef Stolten
Abstract:
Potential analyses identify possible locations for renewable energy installations, such as as wind turbines and photovoltaic arrays. The results of previous potential studies, however, are not consistent due to different assumptions, methods, and datasets. In this study, we compare commonly used land use data sources with regard to area and position. Using Corine Land Cover leads to an overestimat…
▽ More
Potential analyses identify possible locations for renewable energy installations, such as as wind turbines and photovoltaic arrays. The results of previous potential studies, however, are not consistent due to different assumptions, methods, and datasets. In this study, we compare commonly used land use data sources with regard to area and position. Using Corine Land Cover leads to an overestimation of the potential areas in a typical wind potential analysis by a factor of 4.6 and 5.2 in comparison to Basis-DLM and Open Street Map, respectively. Furthermore, we develop scenarios for onshore wind, offshore wind, and open-field photovoltaic potential estimations based on land eligibility analyses and calculate rooftop photovoltaic potential using 3D building data. The potential capacities and possible locations are published for all administrative levels in Germany in the freely accessible database trep-db, for example, to be incorporated into energy system models. The investigations are validated using high-resolution regional potential analyses and benchmarked against other studies in the literature. Findings from the literature, which can be used by legislators to design regulation, are rarely comparable and consistent due to differences in the datasets used.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Semi-explicit integration of second order for weakly coupled poroelasticity
Authors:
R. Altmann,
R. Maier,
B. Unger
Abstract:
We introduce a semi-explicit time-step** scheme of second order for linear poroelasticity satisfying a weak coupling condition. Here, semi-explicit means that the system, which needs to be solved in each step, decouples and hence improves the computational efficiency. The construction and the convergence proof are based on the connection to a differential equation with two time delays, namely on…
▽ More
We introduce a semi-explicit time-step** scheme of second order for linear poroelasticity satisfying a weak coupling condition. Here, semi-explicit means that the system, which needs to be solved in each step, decouples and hence improves the computational efficiency. The construction and the convergence proof are based on the connection to a differential equation with two time delays, namely one and two times the step size. Numerical experiments confirm the theoretical results and indicate the applicability to higher-order schemes.
△ Less
Submitted 7 November, 2023; v1 submitted 30 March, 2022;
originally announced March 2022.
-
A space-time multiscale method for parabolic problems
Authors:
Per Ljung,
Roland Maier,
Axel Målqvist
Abstract:
We present a space-time multiscale method for a parabolic model problem with an underlying coefficient that may be highly oscillatory with respect to both the spatial and the temporal variables. The method is based on the framework of the Variational Multiscale Method in the context of a space-time formulation and computes a coarse-scale representation of the differential operator that is enriched…
▽ More
We present a space-time multiscale method for a parabolic model problem with an underlying coefficient that may be highly oscillatory with respect to both the spatial and the temporal variables. The method is based on the framework of the Variational Multiscale Method in the context of a space-time formulation and computes a coarse-scale representation of the differential operator that is enriched by auxiliary space-time corrector functions. Once computed, the coarse-scale representation allows us to efficiently obtain well-approximating discrete solutions for multiple right-hand sides. We prove first-order convergence independently of the oscillation scales in the coefficient and illustrate how the space-time correctors decay exponentially in both space and time, making it possible to localize the corresponding computations. This localization allows us to define a practical and computationally efficient method in terms of complexity and memory, for which we provide a posteriori error estimates and present numerical examples.
△ Less
Submitted 9 December, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Adaptive Refinement for Unstructured T-Splines with Linear Complexity
Authors:
Roland Maier,
Philipp Morgenstern,
Thomas Takacs
Abstract:
We present an adaptive refinement algorithm for T-splines on unstructured 2D meshes. While for structured 2D meshes, one can refine elements alternatingly in horizontal and vertical direction, such an approach cannot be generalized directly to unstructured meshes, where no two unique global mesh directions can be assigned. To resolve this issue, we introduce the concept of direction indices, i.e.,…
▽ More
We present an adaptive refinement algorithm for T-splines on unstructured 2D meshes. While for structured 2D meshes, one can refine elements alternatingly in horizontal and vertical direction, such an approach cannot be generalized directly to unstructured meshes, where no two unique global mesh directions can be assigned. To resolve this issue, we introduce the concept of direction indices, i.e., integers associated to each edge, which are inspired by theory on higher-dimensional structured T-splines. Together with refinement levels of edges, these indices essentially drive the refinement scheme. We combine these ideas with an edge subdivision routine that allows for I-nodes, yielding a very flexible refinement scheme that nicely distributes the T-nodes, preserving global linear independence, analysis-suitability (local linear independence) except in the vicinity of extraordinary nodes, sparsity of the system matrix, and shape regularity of the mesh elements. Further, we show that the refinement procedure has linear complexity in the sense of guaranteed upper bounds on a) the distance between marked and additionally refined elements, and on b) the ratio of the numbers of generated and marked mesh elements.
△ Less
Submitted 2 May, 2022; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Operator Compression with Deep Neural Networks
Authors:
Fabian Kröpfl,
Roland Maier,
Daniel Peterseim
Abstract:
This paper studies the compression of partial differential operators using neural networks. We consider a family of operators, parameterized by a potentially high-dimensional space of coefficients that may vary on a large range of scales. Based on existing methods that compress such a multiscale operator to a finite-dimensional sparse surrogate model on a given target scale, we propose to directly…
▽ More
This paper studies the compression of partial differential operators using neural networks. We consider a family of operators, parameterized by a potentially high-dimensional space of coefficients that may vary on a large range of scales. Based on existing methods that compress such a multiscale operator to a finite-dimensional sparse surrogate model on a given target scale, we propose to directly approximate the coefficient-to-surrogate map with a neural network. We emulate local assembly structures of the surrogates and thus only require a moderately sized network that can be trained efficiently in an offline phase. This enables large compression ratios and the online computation of a surrogate based on simple forward passes through the network is substantially accelerated compared to classical numerical upscaling approaches. We apply the abstract framework to a family of prototypical second-order elliptic heterogeneous diffusion operators as a demonstrating example.
△ Less
Submitted 28 March, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
A decoupling and linearizing discretization for weakly coupled poroelasticity with nonlinear permeability
Authors:
Robert Altmann,
Roland Maier
Abstract:
We analyze a semi-explicit time discretization scheme of first order for poro\-elasticity with nonlinear permeability provided that the elasticity model and the flow equation are only weakly coupled. The approach leads to a decoupling of the equations and, at the same time, linearizes the nonlinearity without the need of further inner iteration steps. Hence, the computational speed-up is twofold w…
▽ More
We analyze a semi-explicit time discretization scheme of first order for poro\-elasticity with nonlinear permeability provided that the elasticity model and the flow equation are only weakly coupled. The approach leads to a decoupling of the equations and, at the same time, linearizes the nonlinearity without the need of further inner iteration steps. Hence, the computational speed-up is twofold without a loss in the convergence rate. We prove optimal first-order error estimates by considering a related delay system and investigate the method numerically for different examples with various types of nonlinear displacement-permeability relations.
△ Less
Submitted 29 September, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Fast mass lumped multiscale wave propagation modelling
Authors:
Sjoerd Geevers,
Roland Maier
Abstract:
In this paper, we investigate the use of a mass lumped fully explicit time step** scheme for the discretisation of the wave equation with underlying material parameters that vary at arbitrarily fine scales. We combine the leapfrog scheme for the temporal discretisation with the multiscale technique known as Localized Orthogonal Decomposition for the spatial discretisation. To speed up the method…
▽ More
In this paper, we investigate the use of a mass lumped fully explicit time step** scheme for the discretisation of the wave equation with underlying material parameters that vary at arbitrarily fine scales. We combine the leapfrog scheme for the temporal discretisation with the multiscale technique known as Localized Orthogonal Decomposition for the spatial discretisation. To speed up the method and to make it fully explicit, a special mass lum** approach is introduced that relies on an appropriate interpolation operator. This operator is also employed in the construction of the Localized Orthogonal Decomposition and is a key feature of the approach. We prove that the method converges with second order in the energy norm, with a leading constant that does not depend on the scales at which the material parameters vary. We also illustrate the performance of the mass lumped method in a set of numerical experiments.
△ Less
Submitted 7 September, 2021; v1 submitted 16 April, 2021;
originally announced April 2021.
-
Multiscale Scattering in Nonlinear Kerr-Type Media
Authors:
Roland Maier,
Barbara Verfürth
Abstract:
We propose a multiscale approach for a nonlinear Helmholtz problem with possible oscillations in the Kerr coefficient, the refractive index, and the diffusion coefficient. The method does not rely on structural assumptions on the coefficients and combines the multiscale technique known as Localized Orthogonal Decomposition with an adaptive iterative approximation of the nonlinearity. We rigorously…
▽ More
We propose a multiscale approach for a nonlinear Helmholtz problem with possible oscillations in the Kerr coefficient, the refractive index, and the diffusion coefficient. The method does not rely on structural assumptions on the coefficients and combines the multiscale technique known as Localized Orthogonal Decomposition with an adaptive iterative approximation of the nonlinearity. We rigorously analyze the method in terms of well-posedness and convergence properties based on suitable assumptions on the initial data and the discretization parameters. Numerical examples illustrate the theoretical error estimates and underline the practicability of the approach.
△ Less
Submitted 9 December, 2021; v1 submitted 18 November, 2020;
originally announced November 2020.
-
A high-order approach to elliptic multiscale problems with general unstructured coefficients
Authors:
Roland Maier
Abstract:
We propose a multiscale approach for an elliptic multiscale setting with general unstructured diffusion coefficients that is able to achieve high-order convergence rates with respect to the mesh parameter and the polynomial degree. The method allows for suitable localization and does not rely on additional regularity assumptions on the domain, the diffusion coefficient, or the exact (weak) solutio…
▽ More
We propose a multiscale approach for an elliptic multiscale setting with general unstructured diffusion coefficients that is able to achieve high-order convergence rates with respect to the mesh parameter and the polynomial degree. The method allows for suitable localization and does not rely on additional regularity assumptions on the domain, the diffusion coefficient, or the exact (weak) solution as typically required for high-order approaches. Rigorous a priori error estimates are presented with respect to the involved discretization parameters, and the interplay between these parameters as well as the performance of the method are studied numerically.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
Reconstruction of quasi-local numerical effective models from low-resolution measurements
Authors:
Alfonso Caiazzo,
Roland Maier,
Daniel Peterseim
Abstract:
We consider the inverse problem of reconstructing an effective model for a prototypical diffusion process in strongly heterogeneous media based on coarse measurements. The approach is motivated by quasi-local numerical effective forward models that are provably reliable beyond periodicity assumptions and scale separation. The goal of this work is to show that an identification of the matrix repres…
▽ More
We consider the inverse problem of reconstructing an effective model for a prototypical diffusion process in strongly heterogeneous media based on coarse measurements. The approach is motivated by quasi-local numerical effective forward models that are provably reliable beyond periodicity assumptions and scale separation. The goal of this work is to show that an identification of the matrix representation related to these effective models is possible. On the one hand, this provides a reasonable surrogate in cases where a direct reconstruction is unfeasible due to a mismatch between the coarse data scale and the microscopic quantities to be reconstructed. On the other hand, the approach allows us to investigate the requirement for a certain non-locality in the context of numerical homogenization. Algorithmic aspects of the inversion procedure and its performance are illustrated in a series of numerical experiments.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Semi-explicit discretization schemes for weakly-coupled elliptic-parabolic problems
Authors:
Robert Altmann,
Roland Maier,
Benjamin Unger
Abstract:
We prove first-order convergence of the semi-explicit Euler scheme combined with a finite element discretization in space for elliptic-parabolic problems which are weakly coupled. This setting includes poroelasticity, thermoelasticity, as well as multiple-network models used in medical applications. The semi-explicit approach decouples the system such that each time step requires the solution of t…
▽ More
We prove first-order convergence of the semi-explicit Euler scheme combined with a finite element discretization in space for elliptic-parabolic problems which are weakly coupled. This setting includes poroelasticity, thermoelasticity, as well as multiple-network models used in medical applications. The semi-explicit approach decouples the system such that each time step requires the solution of two small and well-structured linear systems rather than the solution of one large system. The decoupling improves the computational efficiency without decreasing the convergence rates. The presented convergence proof is based on an interpretation of the scheme as an implicit method applied to a constrained partial differential equation with delay term. Here, the delay time equals the used step size. This connection also allows a deeper understanding of the weak coupling condition, which we accomplish to quantify explicitly.
△ Less
Submitted 8 September, 2019;
originally announced September 2019.
-
Computational Multiscale Methods for Linear Poroelasticity with High Contrast
Authors:
Shubin Fu,
Robert Altmann,
Eric T. Chung,
Roland Maier,
Daniel Peterseim,
Sai-Mang Pun
Abstract:
In this work, we employ the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) to solve the problem of linear heterogeneous poroelasticity with coefficients of high contrast. The proposed method makes use of the idea of energy minimization with suitable constraints in order to generate efficient basis functions for the displacement and the pressure. These basis…
▽ More
In this work, we employ the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) to solve the problem of linear heterogeneous poroelasticity with coefficients of high contrast. The proposed method makes use of the idea of energy minimization with suitable constraints in order to generate efficient basis functions for the displacement and the pressure. These basis functions are constructed by solving a class of local auxiliary optimization problems based on eigenfunctions containing local information on the heterogeneity. Techniques of oversampling are adapted to enhance the computational performance. Convergence of first order is shown and illustrated by a number of numerical tests.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Extensions of the Classical Transformations of 3F2
Authors:
Robert S. Maier
Abstract:
It is shown that the classical quadratic and cubic transformation identities satisfied by the hypergeometric function ${}_3F_2$ can be extended to include additional parameter pairs, which differ by integers. In the extended identities, which involve hypergeometric functions of arbitrarily high order, the added parameters are nonlinearly constrained: in the quadratic case, they are the negated roo…
▽ More
It is shown that the classical quadratic and cubic transformation identities satisfied by the hypergeometric function ${}_3F_2$ can be extended to include additional parameter pairs, which differ by integers. In the extended identities, which involve hypergeometric functions of arbitrarily high order, the added parameters are nonlinearly constrained: in the quadratic case, they are the negated roots of certain orthogonal polynomials of a discrete argument (dual Hahn and Racah ones). Specializations and applications of the extended identities are given, including an extension of Whipple's identity relating very well poised ${}_7F_6(1)$ series and balanced ${}_4F_3(1)$ series, and extensions of other summation identities.
△ Less
Submitted 12 January, 2019; v1 submitted 9 August, 2018;
originally announced August 2018.
-
Explicit Computational Wave Propagation in Micro-Heterogeneous Media
Authors:
Roland Maier,
Daniel Peterseim
Abstract:
Explicit time step** schemes are popular for linear acoustic and elastic wave propagation due to their simple nature which does not require sophisticated solvers for the inversion of the stiffness matrices. However, explicit schemes are only stable if the time step size is bounded by the mesh size in space subject to the so-called CFL condition. In micro-heterogeneous media, this condition is ty…
▽ More
Explicit time step** schemes are popular for linear acoustic and elastic wave propagation due to their simple nature which does not require sophisticated solvers for the inversion of the stiffness matrices. However, explicit schemes are only stable if the time step size is bounded by the mesh size in space subject to the so-called CFL condition. In micro-heterogeneous media, this condition is typically prohibitively restrictive because spatial oscillations of the medium need to be resolved by the discretization in space. This paper presents a way to reduce the spatial complexity in such a setting and, hence, to enable a relaxation of the CFL condition. This is done using the Localized Orthogonal Decomposition method as a tool for numerical homogenization. A complete convergence analysis is presented with appropriate, weak regularity assumptions on the initial data.
△ Less
Submitted 15 October, 2018; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Computational multiscale methods for linear heterogeneous poroelasticity
Authors:
Robert Altmann,
Eric Chung,
Roland Maier,
Daniel Peterseim,
Sai-Mang Pun
Abstract:
We consider a strongly heterogeneous medium saturated by an incompressible viscous fluid as it appears in geomechanical modeling. This poroelasticity problem suffers from rapidly oscillating material parameters, which calls for a thorough numerical treatment. In this paper, we propose a method based on the local orthogonal decomposition technique and motivated by a similar approach used for linear…
▽ More
We consider a strongly heterogeneous medium saturated by an incompressible viscous fluid as it appears in geomechanical modeling. This poroelasticity problem suffers from rapidly oscillating material parameters, which calls for a thorough numerical treatment. In this paper, we propose a method based on the local orthogonal decomposition technique and motivated by a similar approach used for linear thermoelasticity. Therein, local corrector problems are constructed in line with the static equations, whereas we propose to consider the full system. This allows to benefit from the given saddle point structure and results in two decoupled corrector problems for the displacement and the pressure. We prove the optimal first-order convergence of this method and verify the result by numerical experiments.
△ Less
Submitted 22 December, 2018; v1 submitted 2 January, 2018;
originally announced January 2018.
-
Associated Legendre Functions and Spherical Harmonics of Fractional Degree and Order
Authors:
Robert S. Maier
Abstract:
Trigonometric formulas are derived for certain families of associated Legendre functions of fractional degree and order, for use in approximation theory. These functions are algebraic, and when viewed as Gauss hypergeometric functions, belong to types classified by Schwarz, with dihedral, tetrahedral, or octahedral monodromy. The dihedral Legendre functions are expressed in terms of Jacobi polynom…
▽ More
Trigonometric formulas are derived for certain families of associated Legendre functions of fractional degree and order, for use in approximation theory. These functions are algebraic, and when viewed as Gauss hypergeometric functions, belong to types classified by Schwarz, with dihedral, tetrahedral, or octahedral monodromy. The dihedral Legendre functions are expressed in terms of Jacobi polynomials. For the last two monodromy types, an underlying `octahedral' polynomial, indexed by the degree and order and having a non-classical kind of orthogonality, is identified, and recurrences for it are worked out. It is a (generalized) Heun polynomial, not a hypergeometric one. For each of these families of algebraic associated Legendre functions, a representation of the rank-2 Lie algebra so(5,C) is generated by the ladder operators that shift the degree and order of the corresponding solid harmonics. All such representations of so(5,C) are shown to have a common value for each of its two Casimir invariants. The Dirac singleton representations of so(3,2) are included.
△ Less
Submitted 1 February, 2018; v1 submitted 27 February, 2017;
originally announced February 2017.
-
Algebraic Generating Functions for Gegenbauer Polynomials
Authors:
Robert S. Maier
Abstract:
It is shown that several of Brafman's generating functions for the Gegenbauer polynomials are algebraic functions of their arguments, if the Gegenbauer parameter differs from an integer by one-fourth or one-sixth. Two examples are given, which come from recently derived expressions for associated Legendre functions with octahedral or tetrahedral monodromy. It is also shown that if the Gegenbauer p…
▽ More
It is shown that several of Brafman's generating functions for the Gegenbauer polynomials are algebraic functions of their arguments, if the Gegenbauer parameter differs from an integer by one-fourth or one-sixth. Two examples are given, which come from recently derived expressions for associated Legendre functions with octahedral or tetrahedral monodromy. It is also shown that if the Gegenbauer parameter is restricted as stated, the Poisson kernel for the Gegenbauer polynomials can be expressed in terms of complete elliptic integrals. An example is given.
△ Less
Submitted 18 September, 2017; v1 submitted 18 July, 2016;
originally announced July 2016.
-
Legendre Functions of Fractional Degree: Transformations and Evaluations
Authors:
Robert S. Maier
Abstract:
Associated Legendre functions of fractional degree appear in the solution of boundary value problems in wedges or in toroidal geometries, and elsewhere in applied mathematics. In the classical case when the degree is half an odd integer, they can be expressed using complete elliptic integrals. In this study, many transformations are derived, which reduce the case when the degree differs from an in…
▽ More
Associated Legendre functions of fractional degree appear in the solution of boundary value problems in wedges or in toroidal geometries, and elsewhere in applied mathematics. In the classical case when the degree is half an odd integer, they can be expressed using complete elliptic integrals. In this study, many transformations are derived, which reduce the case when the degree differs from an integer by one-third, one-fourth or one-sixth to the classical case. These transformations, or identities, facilitate the symbolic manipulation and evaluation of Legendre and Ferrers functions. They generalize both Ramanujan's transformations of elliptic integrals and Whipple's formula, which relates Legendre functions of the first and second kinds. The proofs employ algebraic coordinate transformations, specified by algebraic curves.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
Integrals of Lipschitz-Hankel Type, Legendre Functions, and Table Errata
Authors:
Robert S. Maier
Abstract:
The complete Lipschitz-Hankel integrals (LHIs) include the Laplace transforms of the Bessel functions, multiplied by powers. Such Laplace transforms can be evaluated using associated Legendre functions. It is noted that there are errors in published versions of these evaluations, and a merged and emended list of seven transforms is given. Errata for standard reference works, such as the table of G…
▽ More
The complete Lipschitz-Hankel integrals (LHIs) include the Laplace transforms of the Bessel functions, multiplied by powers. Such Laplace transforms can be evaluated using associated Legendre functions. It is noted that there are errors in published versions of these evaluations, and a merged and emended list of seven transforms is given. Errata for standard reference works, such as the table of Gradshteyn and Ryzhik, are also given. Most of the errors are attributable to inconsistent normalization of the Legendre functions. These transforms can be viewed as limits of incomplete LHIs, which find application in communication theory.
△ Less
Submitted 14 December, 2015; v1 submitted 29 September, 2015;
originally announced September 2015.
-
The Integration of Three-Dimensional Lotka-Volterra Systems
Authors:
Robert S. Maier
Abstract:
The general solutions of many three-dimensional Lotka-Volterra systems, previously known to be at least partially integrable, are constructed with the aid of special functions. Examples include certain ABC and May-Leonard systems. The special functions used are incomplete beta and elliptic functions. In some cases the solution is parametric, with the independent and dependent variables expressed a…
▽ More
The general solutions of many three-dimensional Lotka-Volterra systems, previously known to be at least partially integrable, are constructed with the aid of special functions. Examples include certain ABC and May-Leonard systems. The special functions used are incomplete beta and elliptic functions. In some cases the solution is parametric, with the independent and dependent variables expressed as functions of a `new time' variable. This auxiliary variable satisfies a nonlinear third-order differential equation of a generalized Schwarzian type, and results of Carton-LeBrun on such equations are exploited. Several difficult Lotka-Volterra systems are successfully integrated in terms of Painleve transcendents. An appendix on incomplete beta functions is included.
△ Less
Submitted 25 November, 2012;
originally announced November 2012.
-
Quadratic Differential Systems and Chazy Equations, I
Authors:
Robert S. Maier
Abstract:
Generalized Darboux-Halphen (gDH) systems, which form a versatile class of three-dimensional homogeneous quadratic differential systems (HQDS's), are introduced. They generalize the Darboux-Halphen (DH) systems considered by other authors, in that any non-DH gDH system is affinely but not projectively covariant. It is shown that the gDH class supports a rich collection of rational solution-preserv…
▽ More
Generalized Darboux-Halphen (gDH) systems, which form a versatile class of three-dimensional homogeneous quadratic differential systems (HQDS's), are introduced. They generalize the Darboux-Halphen (DH) systems considered by other authors, in that any non-DH gDH system is affinely but not projectively covariant. It is shown that the gDH class supports a rich collection of rational solution-preserving maps: morphisms that transform one gDH system to another. The proof relies on a bijection between (i) the solutions with noncoincident components of any `proper' gDH system, and (ii) the solutions of a generalized Schwarzian equation (gSE) associated to it, which generalizes the Schwarzian equation (SE) familiar from the conformal map** of hyperbolic triangles. The gSE can be integrated parametrically in terms of the solutions of a Papperitz equation, which is a generalized Gauss hypergeometric equation. Ultimately, the rational gDH morphisms come from hypergeometric transformations. A complete classification of proper non-DH gDH systems with the Painleve property (PP) is also carried out, showing how some are related by rational morphisms. The classification follows from that of non-SE gSE's with the PP, due to Garnier and Carton-LeBrun. As examples, several non-DH gDH systems with the PP are integrated explicitly in terms of elementary and elliptic functions.
△ Less
Submitted 8 April, 2012; v1 submitted 1 March, 2012;
originally announced March 2012.
-
The Uniformization of Certain Algebraic Hypergeometric Functions
Authors:
Robert S. Maier
Abstract:
The hypergeometric functions ${}_nF_{n-1}$ are higher transcendental functions, but for certain parameter values they become algebraic, because the monodromy of the defining hypergeometric differential equation becomes finite. It is shown that many algebraic ${}_nF_{n-1}$'s, for which the finite monodromy is irreducible but imprimitive, can be represented as combinations of certain explicitly alge…
▽ More
The hypergeometric functions ${}_nF_{n-1}$ are higher transcendental functions, but for certain parameter values they become algebraic, because the monodromy of the defining hypergeometric differential equation becomes finite. It is shown that many algebraic ${}_nF_{n-1}$'s, for which the finite monodromy is irreducible but imprimitive, can be represented as combinations of certain explicitly algebraic functions of a single variable; namely, the roots of trinomials. This generalizes a result of Birkeland, and is derived as a corollary of a family of binomial coefficient identities that is of independent interest. Any tuple of roots of a trinomial traces out a projective algebraic curve, and it is also determined when this so-called Schwarz curve is of genus zero and can be rationally parametrized. Any such parametrization yields a hypergeometric identity that explicitly uniformizes a family of algebraic ${}_nF_{n-1}$'s. Many examples of such uniformizations are worked out explicitly. Even when the governing Schwarz curve is of positive genus, it is shown how it is sometimes possible to construct explicit single-valued or multivalued parametrizations of individual algebraic ${}_nF_{n-1}$'s, by parametrizing a quotiented Schwarz curve. The parametrization requires computations in rings of symmetric polynomials.
△ Less
Submitted 9 December, 2013; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Nonlinear Differential Equations Satisfied by Certain Classical Modular Forms
Authors:
Robert S. Maier
Abstract:
A unified treatment is given of low-weight modular forms on Γ_0(N), N=2,3,4, that have Eisenstein series representations. For each N, certain weight-1 forms are shown to satisfy a coupled system of nonlinear differential equations, which yields a single nonlinear third-order equation, called a generalized Chazy equation. As byproducts, a table of divisor function and theta identities is generated…
▽ More
A unified treatment is given of low-weight modular forms on Γ_0(N), N=2,3,4, that have Eisenstein series representations. For each N, certain weight-1 forms are shown to satisfy a coupled system of nonlinear differential equations, which yields a single nonlinear third-order equation, called a generalized Chazy equation. As byproducts, a table of divisor function and theta identities is generated by means of q-expansions, and a transformation law under Γ_0(4) for the second complete elliptic integral is derived. More generally, it is shown how Picard-Fuchs equations of triangle subgroups of PSL(2,R) which are hypergeometric equations, yield systems of nonlinear equations for weight-1 forms, and generalized Chazy equations. Each triangle group commensurable with Γ(1) is treated.
△ Less
Submitted 13 June, 2010; v1 submitted 7 July, 2008;
originally announced July 2008.
-
P-symbols, Heun Identities, and 3F2 Identities
Authors:
Robert S. Maier
Abstract:
The usefulness of Riemann P-symbols in deriving identities involving the parametrized special function Hl is explored. Hl is the analytic local solution of the Heun equation, the canonical second-order differential equation on the Riemann sphere with four regular singular points. The identities discussed include ones coming from Moebius automorphisms and F-homotopies, and also quadratic and biqu…
▽ More
The usefulness of Riemann P-symbols in deriving identities involving the parametrized special function Hl is explored. Hl is the analytic local solution of the Heun equation, the canonical second-order differential equation on the Riemann sphere with four regular singular points. The identities discussed include ones coming from Moebius automorphisms and F-homotopies, and also quadratic and biquadratic transformations. The case when Hl is identical to a generalized hypergeometric function of 3F2 type is examined, and Pfaff and Euler transformations of 3F2(a1,a2,e+1;b1,e;x) are derived. They extend several 3F2 identities of Bailey and Slater.
△ Less
Submitted 29 December, 2007; v1 submitted 27 December, 2007;
originally announced December 2007.
-
Parametrized Stochastic Grammars for RNA Secondary Structure Prediction
Authors:
Robert S. Maier
Abstract:
We propose a two-level stochastic context-free grammar (SCFG) architecture for parametrized stochastic modeling of a family of RNA sequences, including their secondary structure. A stochastic model of this type can be used for maximum a posteriori estimation of the secondary structure of any new sequence in the family. The proposed SCFG architecture models RNA subsequences comprising paired base…
▽ More
We propose a two-level stochastic context-free grammar (SCFG) architecture for parametrized stochastic modeling of a family of RNA sequences, including their secondary structure. A stochastic model of this type can be used for maximum a posteriori estimation of the secondary structure of any new sequence in the family. The proposed SCFG architecture models RNA subsequences comprising paired bases as stochastically weighted Dyck-language words, i.e., as weighted balanced-parenthesis expressions. The length of each run of unpaired bases, forming a loop or a bulge, is taken to have a phase-type distribution: that of the hitting time in a finite-state Markov chain. Without loss of generality, each such Markov chain can be taken to have a bounded complexity. The scheme yields an overall family SCFG with a manageable number of parameters.
△ Less
Submitted 24 January, 2007;
originally announced January 2007.
-
On Rationally Parametrized Modular Equations
Authors:
Robert S. Maier
Abstract:
Many rationally parametrized elliptic modular equations are derived. Each comes from a family of elliptic curves attached to a genus-zero congruence subgroup $Γ_0(N)$, as an algebraic transformation of elliptic curve periods, parametrized by a Hauptmodul (function field generator). The periods satisfy a Picard-Fuchs equation, of hypergeometric, Heun, or more general type; so the new modular equa…
▽ More
Many rationally parametrized elliptic modular equations are derived. Each comes from a family of elliptic curves attached to a genus-zero congruence subgroup $Γ_0(N)$, as an algebraic transformation of elliptic curve periods, parametrized by a Hauptmodul (function field generator). The periods satisfy a Picard-Fuchs equation, of hypergeometric, Heun, or more general type; so the new modular equations are algebraic transformations of special functions. When N=4,3,2 they are modular transformations of Ramanujan's elliptic integrals of signatures 2,3,4. This gives a modern interpretation to his theories of integrals to alternative bases: they are attached to certain families of elliptic curves. His anomalous theory of signature 6 turns out to fit into a general Gauss-Manin rather than a Picard-Fuchs framework.
△ Less
Submitted 7 July, 2008; v1 submitted 2 November, 2006;
originally announced November 2006.
-
Algebraic Hypergeometric Transformations of Modular Origin
Authors:
Robert S. Maier
Abstract:
It is shown that Ramanujan's cubic transformation of the Gauss hypergeometric function ${}_2F_1$ arises from a relation between modular curves, namely the covering of $X_0(3)$ by $X_0(9)$. In general, when $2\le N\le 7$ the N-fold cover of $X_0(N)$ by $X_0(N^2)$ gives rise to an algebraic hypergeometric transformation. The N=2,3,4 transformations are arithmetic-geometric mean iterations, but the…
▽ More
It is shown that Ramanujan's cubic transformation of the Gauss hypergeometric function ${}_2F_1$ arises from a relation between modular curves, namely the covering of $X_0(3)$ by $X_0(9)$. In general, when $2\le N\le 7$ the N-fold cover of $X_0(N)$ by $X_0(N^2)$ gives rise to an algebraic hypergeometric transformation. The N=2,3,4 transformations are arithmetic-geometric mean iterations, but the N=5,6,7 transformations are new. In the final two the change of variables is not parametrized by rational functions, since $X_0(6),X_0(7)$ are of genus 1. Since their quotients $X_0^+(6),X_0^+(7)$ under the Fricke involution (an Atkin-Lehner involution) are of genus 0, the parametrization is by two-valued algebraic functions. The resulting hypergeometric transformations are closely related to the two-valued modular equations of Fricke and H. Cohn.
△ Less
Submitted 23 March, 2006; v1 submitted 24 January, 2005;
originally announced January 2005.
-
The 192 Solutions of the Heun Equation
Authors:
Robert S. Maier
Abstract:
A machine-generated list of 192 local solutions of the Heun equation is given. They are analogous to Kummer's 24 solutions of the Gauss hypergeometric equation, since the two equations are canonical Fuchsian differential equations on the Riemann sphere with four and three singular points, respectively. Tabulation is facilitated by the identification of the automorphism group of the equation with…
▽ More
A machine-generated list of 192 local solutions of the Heun equation is given. They are analogous to Kummer's 24 solutions of the Gauss hypergeometric equation, since the two equations are canonical Fuchsian differential equations on the Riemann sphere with four and three singular points, respectively. Tabulation is facilitated by the identification of the automorphism group of the equation with n singular points as the Coxeter group D_n. Each of the 192 expressions is labeled by an element of D_4. Of the 192, 24 are equivalent expressions for the local Heun function Hl, and it is shown that the resulting order-24 group of transformations of Hl is isomorphic to the symmetric group S_4. The isomorphism encodes each transformation as a permutation of an abstract four-element set, not identical to the set of singular points.
△ Less
Submitted 13 March, 2006; v1 submitted 23 August, 2004;
originally announced August 2004.
-
Lamé polynomials, hyperelliptic reductions and Lamé band structure
Authors:
Robert S. Maier
Abstract:
The band structure of the Lamé equation, viewed as a one-dimensional Schrödinger equation with a periodic potential, is studied. At integer values of the degree parameter l, the dispersion relation is reduced to the l=1 dispersion relation, and a previously published l=2 dispersion relation is shown to be partially incorrect. The Hermite-Krichever Ansatz, which expresses Lamé equation solutions…
▽ More
The band structure of the Lamé equation, viewed as a one-dimensional Schrödinger equation with a periodic potential, is studied. At integer values of the degree parameter l, the dispersion relation is reduced to the l=1 dispersion relation, and a previously published l=2 dispersion relation is shown to be partially incorrect. The Hermite-Krichever Ansatz, which expresses Lamé equation solutions in terms of l=1 solutions, is the chief tool. It is based on a projection from a genus-l hyperelliptic curve, which parametrizes solutions, to an elliptic curve. A general formula for this covering is derived, and is used to reduce certain hyperelliptic integrals to elliptic ones. Degeneracies between band edges, which can occur if the Lamé equation parameters take complex values, are investigated. If the Lamé equation is viewed as a differential equation on an elliptic curve, a formula is conjectured for the number of points in elliptic moduli space (elliptic curve parameter space) at which degeneracies occur. Tables of spectral polynomials and Lamé polynomials, i.e., band edge solutions, are given. A table in the older literature is corrected.
△ Less
Submitted 16 July, 2004; v1 submitted 1 September, 2003;
originally announced September 2003.
-
A Generalization of Euler's Hypergeometric Transformation
Authors:
Robert S. Maier
Abstract:
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as corollary a summation formula of Slater. From this formula new one-term ev…
▽ More
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as corollary a summation formula of Slater. From this formula new one-term evaluations of 2F1(-1) and 3F2(1) are derived, by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of 2F1(-1) with linearly constrained parameters are derived as well.
△ Less
Submitted 13 March, 2006; v1 submitted 7 February, 2003;
originally announced February 2003.
-
On Crossing Event Formulas in Critical Two-Dimensional Percolation
Authors:
Robert S. Maier
Abstract:
Several formulas for crossing functions arising in the continuum limit of critical two-dimensional percolation models are studied. These include Watts's formula for the horizontal-vertical crossing probability and Cardy's new formula for the expected number of crossing clusters. It is shown that under the assumption of conformal invariance, they simplify when the spatial domain is taken to be th…
▽ More
Several formulas for crossing functions arising in the continuum limit of critical two-dimensional percolation models are studied. These include Watts's formula for the horizontal-vertical crossing probability and Cardy's new formula for the expected number of crossing clusters. It is shown that under the assumption of conformal invariance, they simplify when the spatial domain is taken to be the interior of an equilateral triangle. The two crossing functions can be expressed in terms of an equianharmonic elliptic function with a triangular rotational symmetry. This suggests that rigorous proofs of Watts's formula and Cardy's new formula will be easiest to construct if the underlying lattice is triangular. The simplification in a triangular domain of Schramm's `bulk Cardy's formula' is also studied.
△ Less
Submitted 9 December, 2002; v1 submitted 7 October, 2002;
originally announced October 2002.
-
Algebraic Solutions of the Lamé Equation, Revisited
Authors:
Robert S. Maier
Abstract:
A minor error in the necessary conditions for the algebraic form of the Lamé equation to have a finite projective monodromy group, and hence for it to have only algebraic solutions, is pointed out. [See F. Baldassarri, "On algebraic solutions of Lamé's differential equation", J. Differential Equations 41 (1981), 44-58.] It is shown that if the group is the octahedral group S_4, then the degree p…
▽ More
A minor error in the necessary conditions for the algebraic form of the Lamé equation to have a finite projective monodromy group, and hence for it to have only algebraic solutions, is pointed out. [See F. Baldassarri, "On algebraic solutions of Lamé's differential equation", J. Differential Equations 41 (1981), 44-58.] It is shown that if the group is the octahedral group S_4, then the degree parameter of the equation may differ by +1/6 or -1/6 from an integer; this possibility was missed. The omission affects a recent result on the monodromy of the Weierstrass form of the Lamé equation. [See R. C. Churchill, "Two-generator subgroups of SL(2,C) and the hypergeometric, Riemann, and Lamé equations", J. Symbolic Computation 28 (1999), 521-545.] The Weierstrass form, which is a differential equation on an elliptic curve, may have, after all, an octahedral projective monodromy group.
△ Less
Submitted 26 June, 2002;
originally announced June 2002.
-
On reducing the Heun equation to the hypergeometric equation
Authors:
Robert S. Maier
Abstract:
The reductions of the Heun equation to the hypergeometric equation by polynomial transformations of its independent variable are enumerated and classified. Heun-to-hypergeometric reductions are similar to classical hypergeometric identities, but the conditions for the existence of a reduction involve features of the Heun equation that the hypergeometric equation does not possess; namely, its cro…
▽ More
The reductions of the Heun equation to the hypergeometric equation by polynomial transformations of its independent variable are enumerated and classified. Heun-to-hypergeometric reductions are similar to classical hypergeometric identities, but the conditions for the existence of a reduction involve features of the Heun equation that the hypergeometric equation does not possess; namely, its cross-ratio and accessory parameters. The reductions include quadratic and cubic transformations, which may be performed only if the singular points of the Heun equation form a harmonic or an equianharmonic quadruple, respectively; and several higher-degree transformations. This result corrects and extends a theorem in a previous paper, which found only the quadratic transformations. [See K. Kuiken, "Heun's equation and the hypergeometric equation", SIAM Journal on Mathematical Analysis 10:3 (1979), 655-657.]
△ Less
Submitted 23 August, 2004; v1 submitted 25 March, 2002;
originally announced March 2002.