Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/9909114

Completion of Linear Differential Systems to Involution

Vladimir P. Gerdt
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we generalize the involutive methods and algorithms devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and the Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group.

Explore related subjects

math.APcs.NAmath.NA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vladimir P. Gerdt. 2000-03-27. Completion of Linear Differential Systems to Involution. https://arxiv.org/abs/math/9909114

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Variational Instability for Irrotational Water Waves in Finite Depth

We study the variational stability of solutions to the periodic irrotational gravity water-wave problem in finite depth with fixed conformal mean depth. We derive a finite-depth Plotnikov transformation for the second variation, including the zero-mode correction specific to finite depth. For fixed conformal mean depth, the trivial solution is strictly variationally stable for $μ>\tanh(kh)/k$, becomes degenerate at $μ=\tanh(kh)/k$, and is variationally unstable for smaller $μ$. Along the primary non-trivial branch, a Lyapunov--Schmidt expansion and a direct evaluation of the Hessian on the bifurcating branch yield a negative direction for every finite depth and sufficiently small non-zero amplitude.

math.AP↗
arXiv2026

Dissipative solutions for 2D Onsager's conjecture

In 1949, L. Onsager conjectured that weak solutions of the Euler equations in $C_{t,x}^γ$ are energy conservative when $γ>\frac{1}{3}$, whereas nonconservative solutions exist when $γ<\frac{1}{3}$. Constantin, E and Titi [13] proved the conservation part, while Isett [26] constructed nontrivial $C^γ_{t,x}$ weak solutions with compact support in time in three dimensions for each $0<γ<\frac{1}{3}$. Building on this breakthrough work, Buckmaster, De Lellis, Székelyhidi Jr. and Vicol [7] obtained strictly dissipative solutions below the Onsager threshold. In two dimensions, Giri and Radu [23] first constructed a nontrivial weak solution in $C^{\frac{1}{3}-}(\mathbb T^2\times[0,T])$ and left an open problem whether it would be possible to construct dissipative solutions (controllable energy) below $\frac{1}{3}$ threshold. In this paper, we reslove this question and thereby obtain infinitely many strictly dissipative weak solutions in $C^γ(\mathbb T^2\times[0,T])$ for every $0<γ<\frac{1}{3}$. Moreover, we prove that the associated wild initial data are dense in the divergence-free subspace of $C^{γ'}(\mathbb{T}^2)$ for any $0<γ' <\frac{1}{3}$. The key new ingredient is a family of staircase traveling waves, which we combine with a Picard iteration coupled to the Newton--Nash scheme to control both the Reynolds stress and the kinetic energy. The construction also applies in every dimension $d\geq2$.

math.AP↗
arXiv2026

Lifespan estimate for one dimensional wave equation with semilinear terms of spatial derivative

This paper studies the upper and lower bounds of the lifespan for the classical solutions to the initial value problems of one dimensional wave equations with non-autonomous semilinear terms including the space-derivative of the unknown function.This is a non-trivial business comparing to the analogous results with time-derivative type semilinear terms, especially for the proof to obtain the sharp upper bound of the lifespan as we have to deal with space dependent weights among iteration procedures of the weighted functional of the solution. Also it is surprising that a part of them reaches to the same ordinary differential inequality for classical semilinear damped wave equations introduced by Li and Zhou (Discrete Contin. Dynam. Systems, 1995, 1(4): 503-520), and we show a simple proof for blow up result from this ordinary differential inequality by iteration argument and slicing method in more general situation.

math.AP↗