• 検索結果がありません。

A sufficient condition for a rational differential operator to generate an integrable system

N/A
N/A
Protected

Academic year: 2022

シェア "A sufficient condition for a rational differential operator to generate an integrable system"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

Japan. J. Math. 12, 33–89 (2017) DOI: 10.1007/s11537-016-1619-9

A sufficient condition for a rational differential operator to generate an integrable system

Sylvain Carpentier

Received: 20 May 2016 / Revised: 19 October 2016 / Accepted: 1 November 2016 Published online: 15 January 2017

© The Mathematical Society of Japan and Springer Japan 2017 Communicated by: Yasuyuki Kawahigashi

Abstract. For a rational differential operatorLDAB1, the Lenard–Magri scheme of integra- bility is a sequence of functionsFn; n0, such that (1)B.FnC1/DA.Fn/for alln0and (2) the functionsB.Fn/pairwise commute. We show that, assuming that property.1/holds and that the set of differential orders ofB.Fn/is unbounded, property.2/holds if and only ifLbelongs to a class of rational operators that we call integrable. If we assume moreover that the rational operatorLis weakly non-local and preserves a certain splitting of the algebra of functions into even and odd parts, we show that one can always find such a sequence .Fn/starting from any function in KerB. This result gives some insight in the mechanism of recursion operators, which encode the hierarchies of the corresponding integrable equations.

Keywords and phrases:integrable systems, Lenard–Magri scheme of integrability, rational pseudo- differential operators, symmetries

Mathematics Subject Classification (2010): 37K10, 17B80, 35Q53, 35S05, 37K10

S. CARPENTIER

Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA

(e-mail:[email protected])

参照

関連したドキュメント

Abstract. This paper is an addendum to our earlier paper [8], where a sys- tematic study of quadratic systems of second order ordinary differential equa- tions defined in

We give a necessary and sufficient condition for a graph to be bipartite in terms of an eigenvector corresponding to the largest eigenvalue of the adjacency matrix of the graph..

We present and analyze a preconditioned FETI-DP (dual primal Finite Element Tearing and Interconnecting) method for solving the system of equations arising from the mortar

We prove that the spread of shape operator is a conformal invariant for any submanifold in a Riemannian manifold.. Then, we prove that, for a compact submanifold of a

On the other hand, it has been shown in [21] that in the hyperbolic case, the local stable manifold of the discrete system tends to that of the corresponding differential sys- tem

Namely, in this case we should require that the indices at 0 are those of L n 0 , where L 0 is a rational homogeneous operator of order ` with integer indices, and we conjecture

We shall always assume that the commutative algebra A is finitely generated over the ring k, with rational action of a Chevalley group scheme G. Further, M will be a noetherian

— We introduce a special property, D -type, for rational functions of one variable and show that it can be effectively used for a classification of the deforma- tions of