\documentclass[reqno]{amsart} \AtBeginDocument{{\noindent\small {\em Electronic Journal of Differential Equations}, Vol. 2003(2003), No. 55, pp. 1--6.\newline ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu \newline ftp ejde.math.swt.edu (login: ftp)} \thanks{\copyright 2003 Southwest Texas State University.} \vspace{9mm}} \begin{document} \title[\hfilneg EJDE--2003/55\hfil A generalization of Schauder's theorem] {A generalization of Schauder's theorem and its application to Cauchy-Kovalevskaya problem} \author[Oleg Zubelevich\hfil EJDE--2003/55\hfilneg] {Oleg Zubelevich} \address{Department of Differential Equations\\ Moscow State Aviation Institute\\ Volokolamskoe Shosse 4, 125871, Moscow, Russia} \email{ozubel@yandex.ru} \date{} \thanks{Submitted November 27, 2002. Published May 5, 2003.} \thanks{Partially supported by grants RFBR 02-01-00400, 00-15-99269, INTAS 00-221.} \subjclass[2000]{35A10} \keywords{Cauchy-Kovalevskaya problem, Schauder theorem } \begin{abstract} We extend the classical majorant functions method to a PDE system which right hand side is a mapping of one functional space to another. This extension is based on some generalization of the Schauder fixed point theorem. \end{abstract} \maketitle \numberwithin{equation}{section} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{definition}{Definition}[section] \section{Introduction} Kovalevskaya proved that the analytic Cauchy problem has an unique analytic solution in 1842. She used the method of majorant functions developed by Cauchy and Weierstrass. In this article, we consider the classical method of majorant functions from an abstract viewpoint and extend this method to a PDE system which right hand side is a mapping of one functional space to another. This mapping can be non-analytic in the evolution variable. Then this result is used for obtaining estimates for the evolution variable interval on which the solution of the problem exists and also to obtain majorant estimates for this solution. The estimated obtained can be used in some problems of perturbation theory \cite{Treshev3}. Our version of the majorant functions method is based on some generalization of Schauder's fixed point theorem to the case of seminormed spaces. Our results do not follow from the abstract Cauchy-Kovalevskaya theorems in \cite{Nishida} and \cite{Safonov}. \subsection*{Preliminaries in topology} Following \cite{Schwartz} we introduce some definitions. Let $M$ be a semimetric space with a collection of semimetrics $\{\rho_\omega\}_{\omega\in \Omega}$. Recall that a function $\rho:M\times M \to \mathbb{R}$ is referred as semimetric if it satisfies all the metric axioms except the axiom of non-degenerateness; i. e., it is possibly that $\rho(x,y)=0$ for some $x, y\in M$ such that $x\ne y$. We assume that for any finite set $Q\subset \Omega$ there exists $\omega\in\Omega$ such that $\rho_q(\cdot,\cdot)\le\rho_\omega(\cdot,\cdot),\quad q\in Q.$ This assumption allows us to consider $M$ as a topological space. A basis of the topology in this space is given by the balls $B_\omega(r,y)=\{x\in M: \rho_\omega(x,y)0 and \omega \in \Omega there exists N such that for all n>N, \rho _{\omega }(x_{n},x)<\varepsilon. \end{definition} Thus a set K\subset M is called compact if any sequence \{x_k\}\in K contains a subsequence \{x'_k\} such that x'_k\to \hat x\in K as k\to\infty. In similar way, we introduce a seminormed linear space E with a collection of seminorms \{\|\cdot\|_\omega\}_{\omega\in\Omega}. Consider the following examples: Let \{(E_{\omega},\|\cdot\|_\omega)\}_{0<\omega<1} be a scale of normed spaces over the field \mathbb{R} or \mathbb{C}: \[ E_{\omega+\delta}\subseteq E_\omega,\quad \|\cdot\|_\omega\le \|\cdot\|_{\omega+\delta},\quad \delta>0.$ We construct a seminormed space $E=\bigcap_{0<\omega<1}E_\omega$ with the collection of norms $\{\|\cdot\|_\omega\}_{0<\omega<1}$. (We use the term 'seminormed space' even if all seminorms are norms.) Let $U_r^n=\{z=(z_1,\ldots,z_n)\in\mathbb{C}^n: |z|=\max_k|z_k|0$. A set $\hat K=f(K)$ is compact as an image of a compact set under a continuous map and $\{y'_n\}\subset \hat K$. Thus, there exists a subsequence $\{y''_n\}\subseteq\{y'_n\}$ such that $$\label{sdf} d_{\sigma}(y''_n,\beta)\to 0,\quad\sigma\in \Sigma,\quad \beta\ne b.$$ Let $\{x''_n\}\subseteq \{x_n\}$ be a sequence such that $y''_n=f(x''_n)$. Consider a subsequence $\{x'''_n\}\subseteq \{x''_n\}$ that converges with respect to the semimetric topology: $\rho_\omega(x'''_n,a)\to 0$ for all $\omega\in \Omega$ and let $y'''_n=f(x'''_n)$. Note that $\{y^{\prime\prime% \prime}_n\}\subseteq\{y''_n\}$. Since $f$ is continuous we have $d_\sigma(y'''_n,b)\to 0$ for all $\sigma\in\Sigma$. On other hand we have (\ref{sdf}). This contradiction proves the Lemma. \end{proof} Theorem \ref{main_t} follows, almost directly, from original Schauder's theorem and Lemma \ref{equ}. Indeed, by Lemma \ref{equ} the map $f$ is continuous on $K$ with respect to the norm $\|\cdot\|_{\omega'}$. By $\overline{L}$ denote a completion of $L$ with respect to the same norm. It is easy to check that the compactness of the set $K$ with respect to the seminormed topology involves the compactness of $K$ with respect to the norm $\|\cdot\|_{\omega'}$. So we obtain the continuous map $f:K\to K$ where $K$ is a convex compact set in the Banach space $\overline{L}$. By the original Schauder's theorem we get the fixed point $\hat x$. Then Theorem \ref{main_t} is proved. \section{Application: majorant method for Cauchy-Kovalevskaya problem} Now we study an existence of Cauchy-Kovalevskaya problem's solutions for a single partial differential equation. Extension of this theory to the case of countable PDE system contains in \cite{zu}. Consider the problem $$\label{kk} u_t=f(u),\quad u\big|_{t=0}=u_0(z)\in \mathcal{H}_n.$$ By a subscript we denote a derivative. For example $u_t$ is the derivative of the function $u$ with respect to the variable $t$. Let $I_T$ be the interval $[0,T]$. Denote by $C(I_T,\mathcal{H}_n)$ the seminormed space of continues maps $v:I_T\to\mathcal{H}_n$ with a collection of seminorms: $\|v\|^c_r=\max_{t\in I_T}\|v(z,t)\|_r.$ We imply that the space $\mathcal{H}_{n+1}$ consists of such a type functions: $u(z,t)\in\mathcal{H}_{n+1}$. We consider problem (\ref{kk}) in the following two setups. Complex-time setup: $f$ is a continues map of the set $\mathcal{H}_{n+1}$ to itself. Real-time setup: $f$ is a continues map of the set $C(I_T,\mathcal{H}_n)$ to itself. Note that we consider continuity of the map $f$ with respect to the seminormed topology of the space $\mathcal{H}_{n}$. For example $f$ can contain derivatives such as $\frac{\partial ^{j_{1}+\ldots +j_{n}}}{\partial {z_{1}}^{j_{1}}\ldots \partial {z_{n}}^{j_{n}}}.$ Now we give the following definition. An analytic function $G(z)=\sum_{k_1,\ldots k_n\ge 0}G_{k_1,\ldots k_n}z_1^{k_1}\cdot\ldots\cdot z_n^{k_n}$ is said to be a majorant function (or majorant) for another analytic function $g(z)=\sum_{k_1,\ldots k_n\ge 0}g_{k_1,\ldots k_n}z_1^{k_1}\cdot\ldots\cdot z_n^{k_n}$ if $|g_{k_1,\ldots k_n}|\le G_{k_1,\ldots k_n}$ for all integer ${k_1,\ldots k_n\ge 0}$. This condition is denoted by $g\ll G$. If functions $g,G\in C(I_{T},\mathcal{H}_{n})$, then their Taylor coefficients depend on $t$ and the relation $g\ll G$ implies that $|g_{k_{1},\ldots k_{n}}(t)|\le G_{k_{1},\ldots k_{n}}(t)$ for all $t\in I_{T}$. Define a relation '$\ll$' for maps as follows:\\ \textbf{Real-time setup:} A map $Q:C(I_{T},\mathcal{H}_n)\to C(I_{T},\mathcal{H}% _n)$ is said to be majorant for a map $q:C(I_{T},\mathcal{H}_n)\to C(I_{T},\mathcal{H}_n)$ if for all $v,V\in C(I_{T},\mathcal{H}_n)$ such that $v\ll V$ we have $q(v)\ll Q(V)$.\\ \textbf{Complex-time setup:} A map $Q:\mathcal{H}_{n+1}\to \mathcal{H}% _{n+1}$ is said to be majorant for a map $q:\mathcal{H}_{n+1}\to \mathcal{H}_{n+1}$ if for all $v,V\in \mathcal{H}_{n+1}$ such that $v\ll V$ we have $q(v)\ll Q(V)$. Define the following majorant pair $(U(z,t),F(U))$ for problem (\ref{kk}). \\ \textbf{Real-time setup:} $U\in C(I_{T},\mathcal{H}_n),\quad F:C(I_{T},\mathcal{H}_n)\to C(I_{T},% \mathcal{H}_n).$ The function $F$ is majorant for the function $f$ and the following conditions hold: \label{qwe} \begin{aligned} U(z,0) & \gg u_0(z), \\ U(z,t) & \gg U(z,0)+\int\limits_{0}^{t}F(U)\,ds, \end{aligned} where $t\in I_{T}$. \\ \textbf{Complex-time setup:} $U\in\mathcal{H}_{n+1},\quad F:\mathcal{H}_{n+1}\to \mathcal{H}% _{n+1},$ the function $F$ is majorant for the function $f$ and conditions (\ref{qwe}) hold for $t\in U^n_R$. The function $F$ is continues on the respective sets. Particularly if the map $F$ is majorant for the map $f$ and $U(z,t)$ is a solution of the following problem: $U_t=F(U),\quad U\big|_{t=0}=U_0(z)\gg u_0(z)$ then the pair $(U(z,t),F(U))$ is majorant for problem (\ref{kk}). \begin{theorem} \label{cfg_k} If problem (\ref{kk}) admits a majorant pair $(U(z,t),F(U))$ then it has solution $u(z,t)$ such that $u\in \mathcal{H}_{n+1}$ -- for the complex-time setup, $u\in C(I_{T},\mathcal{H}_{n})$ -- for the real-time setup and $u(z,t)\ll U(z,t).$ \end{theorem} The technique of majorant pairs building was developed by D. Treschev. Non-trivial applications of this technique to perturbation theory are shown in \cite{Treshev3}. \subsection*{Proof of Theorem \ref{cfg_k}} We will prove the theorem just in the real-time setup. The case of the complex-time can be considered in analogous way. Consider the following subset of $C(I_{T},\mathcal{H}_n)$: \begin{gather*} W=\{w(z,t) : w \ll U, \\ \|w(z,t')-w(z,t'')\|_r \le \|F(U)\|_r^c\cdot|t'-t''|, \quad r