Maximal L2-Regularity Class

• Maximal-L2 regularity class is defined for solutions to parabolic variational inequalities, ensuring one time derivative in L2, uniform V boundedness, and L2 integrability in an auxiliary elliptic space.
• It employs a Banach–Hilbert triple with Gelfand embeddings and handles Navier–Stokes-type nonlinearities under relaxed cancellation and pseudo-monotonicity conditions.
• The framework uses semi-implicit Rothe time-discretization combined with Gronwall-type estimates to secure strong local-in-time existence and uniqueness.

Maximal-$L^2$-Regularity Class refers to the solution space for parabolic variational inequalities involving Navier–Stokes-type nonlinearities in Hilbert space settings. This regularity class is characterized by the simultaneous presence of time derivative regularity in $L^2$, spatial regularity in $V$, and auxiliary elliptic regularity in $W$. When equipped with a non-monotone bilinear nonlinearity and a monotone convex functional, the maximal-$L^2$-regularity framework enables strong local-in-time existence and uniqueness results, assuming appropriate structural properties for the underlying Stokes-type operator and associated data. The analytic framework generalizes the classical Ladyzhenskaya–Kiselev regularity paradigm and is foundational in modern treatments of variational inequalities arising in nonstandard boundary condition contexts, where the cancellation property for the nonlinear operator may not hold (Kashiwabara, 14 Jan 2026).

1. Definition of the Maximal-$L^2$-Regularity Class

The maximal-$L^2$-regularity class is defined for solutions $u$ to variational inequalities of the form

$$(\partial_t u,v-u) + a(u,v-u) + \langle B(u,u),v-u\rangle + \varphi(v)-\varphi(u) \ge (f,v-u) \quad \forall\,v\in V,$$

where $V$ is a Hilbert space, $B:V\times V \to V'$ is a bilinear map modeling the Navier–Stokes-type nonlinearity, and $\varphi:V \to (-\infty,+\infty]$ a convex, proper, lower-semicontinuous functional.

A solution $u$ is said to belong to the maximal-$L^2$-regularity class provided

$$u \in H^1(0,T_*;H)\cap L^\infty(0,T_*;V)\cap L^2(0,T_*;W),$$

where $H,V,W$ are suitable Hilbert spaces described in the functional framework below. This regularity ensures one time derivative in $L^2$ (in $H$), uniform boundedness in $V$, and square-integrable regularity in the auxiliary elliptic space $W$ (Kashiwabara, 14 Jan 2026).

2. Functional Framework and Embedding Structures

The analysis of the maximal-$L^2$-regularity class is grounded in a precise Banach–Hilbert triple:

• Gelfand triple: $V \hookrightarrow H \equiv H' \hookrightarrow V'$, with continuous, dense, and compact embeddings.
• Auxiliary elliptic space: $W \subset V$, with $W$ dense in $V$ and $W \hookrightarrow V$ compact.

In typical Navier–Stokes contexts:

• $H=L^2_\sigma(\Omega)$, the space of square-integrable, divergence-free vector fields.
• $V=H^1_{0,\sigma}(\Omega)$, the $H^1$ Sobolev space of such fields with zero boundary condition.
• $W=H^2(\Omega)\cap V$.

The compactness of embeddings $W \hookrightarrow V \hookrightarrow H$ yields the Aubin–Lions compactness instrumental in passing from discrete to continuous in time (Kashiwabara, 14 Jan 2026).

3. Operator and Functional Hypotheses

The validity of existence and uniqueness in the maximal-$L^2$-regularity framework requires detailed hypotheses on $B$ and $\varphi$, summarized as follows:

(H1) Relaxed Cancellation:

There exist $C>0$, $\beta\in(0,1]$ so that

$$|\langle B(u,v),v\rangle| \le C\|u\|_V\|v\|_V\|v\|_H^\beta\|v\|_V^{1-\beta}$$

implies

$$|\langle B(u,v),v\rangle| \le C_{\theta_1,\epsilon}\|u\|_V^{\theta_1}\|v\|_H^2 + \epsilon\|v\|_V^2,$$

with $\theta_1=2/\beta$.

(H2) Pseudo-monotonicity in Second Slot:

Weak convergence properties required for limit passage: If $v_j \rightharpoonup v$, $w_j \rightharpoonup w$ in $V$, then $$\langle B(u,v_j),w_j \rangle \to \langle B(u,v),w \rangle$$.

(H3) Mapping into $H$ from $W \times V$:

$B(u,v) \in H$, with operator norm estimate $\|B(u,v)\|_H \le C\|u\|_W\|v\|_V$.

(H4) Interpolation to $H$:

For $u \in V$, $v \in W$,

$$\|B(u,v)\|_H \le C\|u\|_V\|v\|_V^\gamma\|v\|_W^{1-\gamma}$$

and, via Young's inequality,

$$\|B(u,v)\|_H \le C_{\theta_2,\epsilon}\|u\|_V^{\theta_2}\|v\|_V + \epsilon\|v\|_W,$$

with $\theta_2=1/\gamma$.

(H5) Elliptic regularity for $A+\partial\varphi$:

A stationary variational inequality solution $u$ satisfies $u \in W \cap D(\partial\varphi)$ and

$\|u\|_W \le C_{\rm reg}\|f\|_H + C_{\varphi 2}$

(Kashiwabara, 14 Jan 2026).

4. Existence and Uniqueness Theorems

The central analytic results are two existence and uniqueness theorems for strong solutions:

$$\textbf{Theorem 2.1 (maximal-}L^2\textbf{-regularity class):}$$

Under (H1)–(H5), for $f\in L^2(0,T;H)$ and $u^0\in D(\varphi)\subset V$, there exists $T_*\in(0,T]$ and a unique

$$u \in H^1(0,T_*;H)\cap L^\infty(0,T_*;V)\cap L^2(0,T_*;W)$$

solving the above variational inequality for almost every $t\in(0,T_*)$.

$$\textbf{Theorem 2.2 (Kiselev–Ladyzhenskaya class):}$$

If $f\in W^{1,1}(0,T;H)$, $u^0\in W\cap D(\partial\varphi)$, and $(A+\partial\varphi)(u^0)\cap H\neq\emptyset$, then there exists $T_*\in(0,T]$ and a unique solution

$$u \in W^{1,\infty}(0,T_*;H)\cap H^1(0,T_*;V)\cap L^\infty(0,T_*;W)$$

of the same variational inequality, with right derivative replacement for pointwise-in-time formulation (Kashiwabara, 14 Jan 2026).

5. Rothe Time-Discretization Methodology

Local-in-time strong solvability in the maximal-$L^2$-regularity class is established by semi-implicit Rothe time discretization. The discrete scheme is defined for time-step $\Delta t$:

• Let $t_n=n\Delta t$, $n=0,\dots,N$, $N\Delta t \le T_*$.
• Discretize $f^n$, $u^0$ and construct $u^n \in D(\varphi)$ inductively by requiring for all $v\in V$: $$\left(\frac{u^n - u^{n-1}}{\Delta t}, v-u^n\right) + a(u^n,v-u^n) + \langle B(u^{n-1},u^n),v-u^n \rangle + \varphi(v)-\varphi(u^n) \ge (f^n, v-u^n).$$ Existence and uniqueness at each time step follow from Oseen-type regularity and elliptic theory in $W\cap D(\partial\varphi)$ for sufficiently small $\Delta t$ (Kashiwabara, 14 Jan 2026).

6. A Priori Estimates in the Maximal-$L^2$ Norm

Discrete-energy inequalities are obtained by specialized test function choices and operator estimates. For $v=u^{n-1}$,

$$\Bigl\|\frac{u^n-u^{n-1}}{\Delta t}\Bigr\|_H^2 +\frac{\|u^n\|_V^2-\|u^{n-1}\|_V^2+\|u^n-u^{n-1}\|_V^2}{\Delta t} +\frac{2[\varphi(u^n)-\varphi(u^{n-1})]}{\Delta t} \le M(\|u^{n-1}\|_V^{2\theta_2}\|u^n\|_V^2+\|f^n\|_H^2+1),$$

where $M$ depends on data and operator constants. The discrete Gronwall-type argument allows uniform-in-$\Delta t$ control of relevant norms, independent of step size $N$ and $\Delta t$ (Kashiwabara, 14 Jan 2026).

Estimate Component	Regularity Structured	Independence from $\Delta t$
$$\sum\Bigl\|\frac{u^n-u^{n-1}}{\Delta t}\Bigr\|_H^2\Delta t$$	Time derivative (in $H$)	Yes
$\sum\|u^n\|_W^2\Delta t$	Elliptic spatial regularity ($W$)	Yes
$\|u^N\|_V^2$, $\sum\|u^n-u^{n-1}\|_V^2$	Uniform boundedness in $V$	Yes

7. Passage to the Limit and Energy/Regularity Inequalities

Interpolated solutions $u_{\Delta t}$, $\hat u_{\Delta t}$, $w_{\Delta t}$ converge appropriately as $\Delta t\to 0$: $$u_{\Delta t} \to u \ \text{in} \ L^2(0,T_*;V), \quad \hat u_{\Delta t} \rightharpoonup u \ \text{in} \ H^1(0,T_*;H), \quad w_{\Delta t} \to u \ \text{in} \ C([0,T_*];H) \cap L^2(0,T_*;V).$$ The limit solution satisfies an integrated-in-time variational inequality, employing weak convergence of nonlinear terms, Jensen's inequality for $\varphi$, and Lebesgue differentiation.

Energy/regularity refinements leverage the time-variation inequalities: $$\frac12\frac{d}{dt}\|u(t+h)-u(t)\|_H^2 + \|u(t+h)-u(t)\|_V^2 \le \|f(t+h)-f(t)\|_H \|u(t+h)-u(t)\|_H + \cdots.$$ Control of remainder terms by operator hypotheses yields

$$\|u(t+h)-u(t)\|_H \le \mathrm{const}\int_t^{t+h}\|f(s+h)-f(s)\|\,ds,$$

and as $h\to 0$, Gronwall-type arguments give

$$\left\|\frac{u(t+h)-u(t)}{h}\right\|_{L^\infty(0,T_*;H)} < \infty,$$

implying $u\in W^{1,\infty}(0,T_*;H)$. Further duality and elliptic regularity yield $u \in H^1(0,T_*;V) \cap L^\infty(0,T_*;W)$ (Kashiwabara, 14 Jan 2026).

In summary, strong solutions in the maximal-$L^2$-regularity class are obtained as elements of

$$H^1(0,T_*;H)\cap L^\infty(0,T_*;V)\cap L^2(0,T_*;W),$$

with rigorous existence and uniqueness under detailed operator and functional hypotheses, using robust time-discretization and compactness techniques. This framework supports applications in variational inequalities with nonstandard boundaries and nonlinearities lacking the traditional cancellation property.