zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Exact boundary controllability for the linear Korteweg-de Vries equation on the half-line. (English) Zbl 0966.93055

The author considers controllability of the Korteweg-de Vries equation in the form

u t +u x +uu x +u xxx =0,t0,xΩ,(1)

and of the linear equation

u t +u x +u xxx =0,(2)

obtained by dropping the nonlinear term uu x . The control is applied at the endpoint x=0. Up to this time no boundary controllability results were known for an unbounded domain, such as Ω=(0,). The present paper contains proofs filling this gap.

First, the author observes that approximate controllability is easy to prove for the linear equation (2) in L 2 (0,), but exact controllability proof runs into trouble because of lack of compactness. In fact, the author proves that in the linear case there exists u 0 L 2 (0,) such that with u t (0)=u 0 , for any T>0, u t=T 0, where u is the solution of (2). It should be noted that the spaces of functions to which the initial and final states belong are different. However, difficulties arising here are overcome by use of Holmgren’s uniqueness theorem. Following ideas of Fursikov and Immanuvilov in the study of boundary controllability of Burger’s equation, the author proves another version of Carleman’s global estimate. His final result, following his arguments about existence of continuous semigroups, determines that the exact boundary controllability exists provided the solutions are not required to be bounded in L (0,T,L 2 (0,)). He also shows that this result is false if boundedness is assumed.

This is a clever proof, using alternatively the nonlinear equation (1) and the linear equation (2), and overcoming several difficult obstacles.

93C20Control systems governed by PDE
35Q53KdV-like (Korteweg-de Vries) equations