Some counterexamples to separation of variables
An algebraic PDE system admits separation of variables if it has at least one differentially algebraic (DA) solution. Here a function is DA if there is a field of finite transcendence degree over \(\mathbb{C}\) that contains this function and all its partial derivatives. If \(u(x, y)\) is a DA solution of an algebraic PDE system, then \(u(x, y)\) can be computed in the following way: Starting, say in \((0, 0)\), we first compute \(u(x, 0)\) by solving an algebraic ODE along the \(x\) axis, then we solve an algebraic ODE along the vertical line \(x=\text{const}\) to find \(u(x, y)\). The main result of this paper is that the algebraic PDE \(u_y= (1- {x/y})\cdot u+ 1\) has no DA solutions. The fact that the indefinite integral with respect to \(y\) of a DA function \(f(x, y)\) need not be DA is at the heart of this counterexample. Concluding some open problems are presented.
- Separation of variables in rational functions
- Combinatorial resolution of systems of differential equations. IV: Separation of variables
- The Darboux property and solutions of algebraic differential equations
- scientific article; zbMATH DE number 4145005
- Incomplete separation of variables for some classes of partial differential equations
- An interesting case of variables separation
- A Galois-theoretic proof of the differential transcendence of the incomplete gamma function
- Isomonodromic differential equations and differential categories
- On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
- Chains of theories and companionability
- Generalized differential Galois theory
- Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
- The model theory of differential fields with finitely many commuting derivations
- Differential forms in the model theory of differential fields
- An example where separation of variables fails
- On ordinary differentially large fields
This page was built for publication: Some counterexamples to separation of variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1898792)
