Non-Autonomous Quasilinear Systems

• Non-Autonomous Quasilinear Systems are PDEs with explicit space-time dependencies and nonlinear highest derivatives, crucial in modeling complex phenomena.
• They are analyzed using strict structural conditions such as Carathéodory regularity, uniform ellipticity, and controlled growth to establish existence and multiplicity of solutions.
• Advanced frameworks like maximal Lp-regularity and nonsmooth variational techniques enable rigorous treatment of these systems in applications from phase transitions to dynamic boundary problems.

A non-autonomous quasilinear system is a system of partial differential equations or evolution equations where the leading operators and/or nonlinearities exhibit explicit dependence on independent variables (such as space or time), and the highest-order derivatives appear in a nonlinear (but still quasilinear) fashion. Such systems represent a principal class of nonlinear PDEs with wide applicability, encompassing elliptic, parabolic, and hyperbolic types; their analysis requires sophisticated functional, algebraic, and variational methodologies to accommodate the non-autonomous and quasilinear structures. This entry surveys the principal definitions, model problems, analytic frameworks, structural conditions, and existence theories for non-autonomous quasilinear systems relevant for contemporary mathematical analysis and applications.

1. Definition and Model Problems

A non-autonomous quasilinear system generally comprises PDEs in which at least one leading coefficient or operator depends explicitly on independent variables (typically $x$ and/or $t$). The canonical elliptic example is: $$\begin{cases} -\mathrm{div}(A_1(x,u_1)\nabla u_1)+\frac{1}{2}D_{u_1}A_1(x,u_1)\nabla u_1\cdot\nabla u_1 = f_1(x,u_1,u_2) & \text{in }\Omega, \ -\mathrm{div}(A_2(x,u_2)\nabla u_2)+\frac{1}{2}D_{u_2}A_2(x,u_2)\nabla u_2\cdot\nabla u_2 = f_2(x,u_1,u_2) & \text{in }\Omega, \ u_1 = u_2 = 0 & \text{on }\partial\Omega, \end{cases}$$ where $$A_i(x,s): \Omega\times\mathbb{R} \to \mathbb{R}^{N\times N}$$ are Carathéodory matrices (measurable in $x$, $C^1$ in $s$), with explicit $x$-dependence as the signature of non-autonomy (Canino et al., 21 Oct 2025).

In parabolic contexts, both nonlocality and time-dependence feature; for example: $$u_t - \big(a(\|u_x\|_{L^2}^2)\,u_x\big)_x = A u - B(t) u^3,\quad u(0,t)=u(L,t)=0,$$ with $a$ and $B$ representing nonlocal and non-autonomous coefficients, respectively (Carvalho et al., 2019).

In the fully abstract evolution setting: $u'(t) + L_t(u)u(t) = \Phi(u)(t),\qquad u(0) = u_0,$ the operator $L_t(u)$ depends on both the current "state" $u$ and time $t$ — a quintessential non-autonomous quasilinear structure (Meinlschmidt, 2023).

2. Structural Assumptions and Coefficient Regularity

For rigorous analysis, non-autonomous quasilinear systems demand sharp structural hypotheses on the leading coefficient operators:

• Carathéodory Regularity: Each $A_i(x,s)$ is Carathéodory, i.e., measurable in $x$ and continuously differentiable in $s$, with $|a_i^{jk}(x,s)| + |D_s a_i^{jk}(x,s)| \leq C_0$ uniformly (Canino et al., 21 Oct 2025).
• Uniform Ellipticity: For some $\nu > 0$, $A_i(x,s)\xi\cdot\xi \geq \nu|\xi|^2$ uniformly for all $\xi$, almost every $x$, and all $s$.
• Controlled Growth: A mild upper bound on the growth of $D_sA_i(x,s)$ in $s$, typically of the form $$0 \leq s D_sA_i(x,s)\xi\cdot\xi \leq \gamma A_i(x,s)\xi\cdot\xi$$ for $\gamma \in (0,p-2)$ (Canino et al., 21 Oct 2025).
• Technical Monotonicity: For the more precise control of the quasilinear structure, $s\mapsto s^{3-p}D_sA_i(x,s)\xi\cdot\xi$ must be strictly decreasing on $(0,\infty)$ (Canino et al., 21 Oct 2025).
• Space-Time Measurability: In parabolic or abstract settings, coefficients may be only (strongly) measurable in $t$ (and/or $x$), subject to uniform ellipticity and boundedness requirements (Meinlschmidt, 2023, Disser et al., 2016).

Further complexity arises in systems with anisotropy, critical nonlinearity, or higher-order derivatives, necessitating structural control on functional forms such as $\Psi_i(\nabla u)$ (see (Borgia et al., 23 Jan 2026) for anisotropic systems).

3. Energy Functionals and Nonsmooth Variational Theory

Many non-autonomous quasilinear systems are non-variational or possess energy functionals lacking full Fréchet differentiability. For the system above, a natural (formal) energy functional is

$$\Phi(u) = \sum_{i=1}^{2} \left(\frac{1}{2}\int_\Omega A_i(x,u_i)|\nabla u_i|^2 - \frac{\lambda_i}{2}\int_\Omega u_i^2 - \frac{1}{p}\int_\Omega |u_i|^p \right) - \frac{2\beta}{p}\int_\Omega |u_1|^{p/2}|u_2|^{p/2},$$

which is only Gâteaux-differentiable along directions in $H^1_0\cap L^\infty$. This failure of smoothness motivates the use of nonsmooth critical point theory, based on the weak slope $|d\Phi|(u)$ (De Giorgi–Marino–Tosques; Degiovanni–Marzocchi framework), and variational principles adapted to the metric space setting (Canino et al., 21 Oct 2025).

Weak solutions are identified as lower critical points with vanishing weak slope; their existence and multiplicity are established using deformation arguments and minimax theory for nonsmooth functionals.

4. Existence, Multiplicity, and Compactness Results

Existence theory for non-autonomous quasilinear systems is commonly based on variational or fixed-point methods tailored to the lack of smoothness and non-autonomy:

• Elliptic Systems: Under (a.0)-(a.3) and symmetry ($A_i(x,-s)=A_i(x,s)$), there exists a threshold $\beta_1>0$ such that for $\beta>\beta_1$ (cooperative case), the system admits infinitely many fully nontrivial weak solutions and a least-energy solution below min$\{L_1,L_2\}$, where $L_i$ is the least-energy level of the associated scalar equation (Canino et al., 21 Oct 2025). For $\beta<-1$ (competitive regime), a nonnegative least-energy solution exists by Nehari-type minimization.
• Quasilinear Parabolic Equations: Local and global well-posedness results for non-autonomous and/or nonlocal parabolic systems are proved using sectorial semigroup theory, order/comparison principles, maximal $L^p$ parabolic regularity, and pullback attractor theory (Carvalho et al., 2019, Bezerra et al., 27 Jul 2025, Meinlschmidt, 2023). These techniques handle rough coefficients, mixed or dynamic boundary conditions, and mild solution concepts.
• Anisotropic and Critical Growth: Uniform $L^\infty$ a priori bounds for solutions of non-autonomous quasilinear systems with anisotropic divergence-form operators and critical nonlinearity are obtained by combining higher integrability estimates and generalized Stampacchia–Moser iteration (Borgia et al., 23 Jan 2026).

Compactness (via Palais–Smale condition, uniform a priori bounds, or monotonicity and comparison) is essential in passing to the limit in approximating sequences and in establishing invariance and attraction in pullback attractor theory (Bezerra et al., 27 Jul 2025, Carvalho et al., 2019).

5. Classification and Reduction via Symmetries

Certain non-autonomous first-order quasilinear systems with explicit dependence on $(x,t)$ admit classification and reduction via symmetry analysis:

• Lie Symmetries and Canonical Reduction: If a system

$A_1(x,t,u)u_x + A_2(x,t,u)u_t = G(x,t,u)$

admits a three-dimensional solvable subalgebra of the Lie point symmetries, canonical coordinates can be constructed such that the transformed system is autonomous, homogeneous, and quasilinear (Gorgone et al., 2021). Necessary conditions involve the existence of a particular structure in the symmetry algebra, yielding reduction to the form $A_1(U)U_X + A_2(U)U_T = 0$.

• Block Decoupling: For first-order systems in two variables, precise algebraic and differential conditions on eigenvalues, eigenvectors, and the nonhomogeneity guarantee (partial or full) block-lower-triangularization, yielding decoupling into subsystems. These conditions extend directly to non-autonomous cases and enable explicit construction of decoupling transformations (Gorgone et al., 2021).

6. Parabolic Maximal Regularity Framework

Analytic frameworks for non-autonomous quasilinear parabolic systems leverage maximal $L^p$-regularity in Banach and Sobolev spaces:

• Abstract Regularity: A family of (possibly time-dependent, discontinuous) operators $\{A(t)\}$ on a pair $(D,X)$ possesses non-autonomous maximal parabolic $L^r$-regularity if for each $f\in L^r(J;X)$ the problem $u'(t) + A(t)u(t) = f(t),\ u(0)=0$ has a unique solution in $L^r(J;D)\cap W^{1,r}_0(J;X)$, with uniform a priori estimates (Disser et al., 2016, Meinlschmidt, 2023).
• Extrapolation and Interpolation: Extending Lions' Hilbert-space ($r=2$) theory to nearby exponents $r\neq2$ and $q\neq2$ in the spatial scale uses interpolation spaces and Sneiberg's isomorphism-stability lemma (Disser et al., 2016, Meinlschmidt, 2023).
• Nonlinear Existence: Amann's abstract fixed point theorem provides existence, uniqueness, and continuous dependence of solutions for fully nonlinear (quasilinear) non-autonomous systems under causal, Lipschitz, and uniform ellipticity hypotheses (Meinlschmidt, 2023).

This framework supports global well-posedness under sublinear growth, the handling of mixed boundary conditions in highly nonsmooth domains, and the resolution of degenerate or non-coercive stationary subsystems via nonlocal-in-time recastings (Meinlschmidt, 2023).

7. Applications and Illustrative Models

Non-autonomous quasilinear systems encompass a diverse family of models:

• Elliptic Cooperative/Competitive Systems: Systems with coupling through $g_\beta$ modeled by potentials exhibiting both cooperative ($\beta > 0$) and competitive ($\beta < 0$) regimes, with applications in phase separation and population dynamics (Canino et al., 21 Oct 2025).
• Parabolic Nonlocal and High-Order Equations: $2m$-th order non-autonomous quasilinear parabolic equations with nonlocal Kirchhoff-type diffusion, yielding evolution semigroups, order intervals, and pullback attractors (Bezerra et al., 27 Jul 2025, Carvalho et al., 2019).
• Anisotropic Critical-Growth Systems: Systems posed in Sobolev spaces with variable anisotropy and nonlinearities touching the critical Sobolev exponent, arising in materials science and nonlinear elasticity (Borgia et al., 23 Jan 2026).
• Systems with Dynamic Boundary Conditions: Quasilinear systems with non-autonomous structure and nonlinear dynamic (Wentzell-type) boundary conditions, possessing classical solutions in Hölder spaces (Guidetti, 2015).

These systems provide both analytic challenges (due to lack of regularity, nonlocality, criticality, and rough coefficients) and physically- or biologically-motivated modeling paradigms, necessitating the development of invariant regions, attractor theory, and nonsmooth variational analysis.

---

For further development, see (Canino et al., 21 Oct 2025, Borgia et al., 23 Jan 2026, Meinlschmidt, 2023, Carvalho et al., 2019, Bezerra et al., 27 Jul 2025, Disser et al., 2016, Gorgone et al., 2021, Gorgone et al., 2021), and (Guidetti, 2015) for precise statements, technical proofs, and extensive discussions of variational, algebraic, and analytic techniques tailored to non-autonomous quasilinear systems.