Abstract:We study a class of parabolic quasilinear systems, in which the diffusion matrix is not uniformly elliptic, but satisfies a Petrovskii condition of positivity of the real part of the eigenvalues. Local wellposedness is known since the work of Amann in the 90s, by a semi-group method. We revisit these results in the context of Sobolev spaces modelled on L^2 and exemplify our method with the SKT system, showing the existence of local, non-negative, strong solutions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the local well - posedness of the Cauchy problem for quasilinear parabolic systems, especially when the diffusion matrix does not satisfy the uniform elliptic condition but satisfies the Petrovskii positive part condition. Specifically, the author re - examines the results obtained by Amann in the 1990s through the semigroup method and attempts to provide new proofs and generalizations in the framework of Sobolev spaces.
### Main research content
1. **Research on quasilinear parabolic systems**:
The author studies a class of quasilinear parabolic systems in which the diffusion matrix is not uniformly elliptic but satisfies the Petrovskii condition (i.e., the real parts of the eigenvalues are positive). The local well - posedness of such systems has been proven in Amann's work, but the author hopes to re - explore these results through the Sobolev space model.
2. **Proof of local well - posedness**:
The author uses the Sobolev space \(H^s(T^d)\) model, especially the \(L^2\) - type Sobolev space, to prove the local well - posedness of the quasilinear parabolic system. They show that under certain conditions, there exist local, non - negative strong solutions.
3. **Application of sign - preserving property**:
The author also explores the sign - preserving property and its application in the Shigesada - Kawasaki - Teramoto (SKT) model. The SKT model is a cross - diffusion system that describes multi - component diffusion, and the author shows how to use the sign - preserving property to ensure the non - negativity of the solution.
### Main conclusions
- **Local well - posedness**: For a given initial value \(U_0\) and external force term \(F\), there exists a time \(T>0\) and a unique solution \(U\in E_T^s\) such that this solution solves the quasilinear parabolic system on \([0, T]\times T^d\).
- **Lifetime and blow - up**: If the data is small enough, the lifetime of the solution is infinite; if the lifetime is finite, the solution will diverge in the \(H^s(T^d)\) norm.
- **Sign - preserving property**: For some specific matrix fields \(A\), if the initial data is non - negative, the solution remains non - negative throughout its life cycle.
### Formula representation
The formulas involved in the paper are as follows:
- Petrovskii condition:
\[
P:=\bigcup_{\delta > 0}P_\delta,\quad\text{where}\quad P_\delta:=\left\{B\in M_N(\mathbb{R}):z\in\text{Sp}(B)\Rightarrow\text{Re}(z)\geq\delta\right\}
\]
- \(E_T^s\) space norm:
\[
\|U\|_{E_T^s}:=\left(\|U\|^2_{C^0([0,T];H^s(T^d))}+\int_0^T\|\nabla U(t)\|^2_{H^s(T^d)}\,dt\right)^{1/2}
\]
- Local well - posedness theorem:
\[
\text{For any}\ (U_0,F)\in D_T^\infty,\ \text{exists}\ T > 0\ \text{and unique}\ U\in E_T^s\ \text{such that}\ U\ \text{solves the Cauchy problem}\ (1.1).
\]
Through these studies, the author not only re - proves the existing local well - posedness results but also provides new perspectives and tools for cross - diffusion systems.