On solvability of linear differential equations in ${\Bbb R}^{\Bbb N}$

We construct $x^0$ in ${\Bbb R}^{\Bbb N}$ and a row-finite matrix $T=\{T_{i,j}(t)\}_{i,j\in\N}$ of polynomials of one real variable $t$ such that the Cauchy problem $\dot x(t)=T_tx(t)$, $x(0)=x^0$ in the Fr\'echet space $\R^\N$ has no solutions. We also construct a row-finite matrix $A=\{A_{i,j}(t)\}_{i,j\in\N}$ of $C^\infty(\R)$ functions such that the Cauchy problem $\dot x(t)=A_tx(t)$, $x(0)=x^0$ in ${\Bbb R}^{\Bbb N}$ has no solutions for any $x^0\in{\Bbb R}^{\Bbb N}\setminus\{0\}$. We provide some sufficient condition of solvability and of unique solvability for linear ordinary differential equations $\dot x(t)=T_tx(t)$ with matrix elements $T_{i,j}(t)$ analytically dependent on $t$.

Sequentially continuous non-linear fundamental systems of solutions of affine equations in locally convex spaces

According to the Mickael's selection theorem any surjective continuous linear operator from one Fr\'echet space onto another has a continuous (not necessarily linear) right inverse. Using this theorem Herzog and Lemmert proved that if $E$ is a Fr\'echet space and $T:E\to E$ is a continuous linear operator such that the Cauchy problem $\dot x=Tx$, $x(0)=x_0$ is solvable in $[0,1]$ for any $x_0\in E$, then for any $f\in C([0,1],E)$, there exists a continuos map $S:[0,1]\times E\to E$, $(t,x)\mapsto S_tx$ such that for any $x_0\in E$, the function $x(t)=S_tx_0$ is a solution of the Cauchy problem $\dot x(t)=Tx(t)+f(t)$, $x(0)=x_0$ (they call $S$ a fundamental system of solutions of the equation $\dot x=Tx+f$). We prove the same theorem, replacing "continuous" by "sequentially continuous" for locally convex spaces from a class which contains strict inductive limits of Fr\'echet spaces and strong duals of Fr\'echet--Schwarz spaces and is closed with respect to finite products and sequentially closed subspaces. The key-point of the proof is an extension of the theorem on existence of a sequentially continuous right inverse of any surjective sequentially continuous linear operator to some class of non-metrizable locally convex spaces.

On weak and strong Peano theorems

We say that the Peano theorem holds for a topological vector space $E$ if, for any continuous mapping $f : {\Bbb R}\times E \to E$ and any $(t(0), x(0))$ is an element of ${\Bbb R}\times E$, the Cauchy problem $\dot x(t) = f(t,x(t))$, $x(t(0)) = x(0)$, has a solution in some neighborhood of $t(0)$. We say that the weak version of Peano theorem holds for $E$ if, for any continuous map $f : {\Bbb R}\times E \to E$, the equation $\dot x(t) = f (t, x(t))$ has a solution on some interval. We construct an example (answering a question posed by S. G. Lobanov) of a Hausdorff locally convex topological vector space E for which the weak version of Peano theorem holds and the Peano theorem fails to hold. We also construct a Hausdorff locally convex topological vector space E for which the Peano theorem holds and any barrel in E is neither compact nor sequentially compact.

On Osgood theorem in Banach spaces

Let $X$ be a real Banach space, $\omega:[0,+\infty)\to\R$ be an increasing continuous function such that $\omega(0)=0$ and $\omega(t+s)\leq\omega(t)+\omega(s)$ for all $t,s\in[0,+\infty)$. By the Osgood theorem, if $\int_{0}^1\frac{dt}{\omega(t)}=\infty$, then for any $(t_0,x_0)\in R\times X$ and any continuous map $f: R\times X\to X$ and such that $\|f(t,x)-f(t,y)\|\leq\omega(\|x-y\|)$ for all $t\in R$, $x,y\in X$, the Cauchy problem $\dot x(t)=f(t,x(t))$, $(t_0)=x_0$ has a unique solution in a neighborhood of $t_0$ . We prove that if $X$ has a complemented subspace with an unconditional Schauder basis and $\int_{0}^1\frac{dt}{\omega(t)}

On the solvability of Hamilton's equations in Hilbert spaces

We construct a bounded function $H : l_2\times l_2 \to R$ with continuous Frechet derivative such that for any $q_0\in l_2$ the Cauchy problem $\dot p= - {\partial H\over\partial q}$, $\dot q={\partial H\over\partial p}$, $p(0) = 0$, q(0) = q_0$ has no solutions in any neighborhood of zero in R.

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Some results on solvability of ordinary linear differential equations in locally convex spaces

Let $\Gamma$ be the class of sequentially complete locally convex spaces such that an existence theorem holds for the linear Cauchy problem $\dot x = Ax$, $x(0) = x_0$ with respect to functions $x: R\to E$. It is proved that if $E\in \Gamma$, then $E\times R^A$ is-an-element-of $\Gamma$ for an arbitrary set $A$. It is also proved that a topological product of infinitely many infinite-dimensional Frechet spaces, each not isomorphic to $\omega$, does not belong to $\Gamma$.

On the convergence of the no response test

The no response test is a new scheme in inverse problems for partial differential equations which was recently proposed in [D. R. Luke and R. Potthast, SIAM J. Appl. Math., 63 (2003), pp. 1292–1312] in the framework of inverse acoustic scattering problems. The main idea of the scheme is to construct special probing waves which are small on some test domain. Then the response for these waves is constructed. If the response is small, the unknown object is assumed to be a subset of the test domain. The response is constructed from one, several, or many particular solutions of the problem under consideration. In this paper, we investigate the convergence of the no response test for the reconstruction information about inclusions D from the Cauchy values of solutions to the Helmholtz equation on an outer surface $\partial\Omega$ with $\overline{D} \subset \Omega$. We show that the one‐wave no response test provides a criterion to test the analytic extensibility of a field. In particular, we investigate the construction of approximations for the set of singular points $N(u)$ of the total fields u from one given pair of Cauchy data. Thus, the no response test solves a particular version of the classical Cauchy problem. Also, if an infinite number of fields is given, we prove that a multifield version of the no response test reconstructs the unknown inclusion D. This is the first convergence analysis which could be achieved for the no response test.

Global solutions for impulsive abstract partial differential equations

In this paper, we study the existence of global solutions for a class of impulsive abstract functional differential equation. An application involving a parabolic system With impulses is considered. (c) 2008 Elsevier Ltd. All rights reserved.

Stability of periodic travelling shallow-water waves determined by Newton`s equation

We study the existence and stability of periodic travelling-wave solutions for generalized Benjamin-Bona-Mahony and Camassa-Holm equations. To prove orbital stability, we use the abstract results of Grillakis-Shatah-Strauss and the Floquet theory for periodic eigenvalue problems.

Semigrupos de operadores lineares aplicados às equações diferenciais parciais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Semigrupos de operadores lineares limitados: soluções Mild e Weak

Pós-graduação em Matemática - IBILCE

Estudo da equação de Klein-Gordon linear

Pós-graduação em Matemática - IBILCE

Comportamento assintótico e controlabilidade exata para a equação de Klein-Gordon

Pós-graduação em Matemática - IBILCE

Energy decay for the linear Klein-Gordon equation and boundary control

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)