An existence result for partially regular weak solutions of certain abstract evolution equations, with an application to magneto-hydrodynamics (Q1320994)

In the first part of the paper a sequence of evolution equations \[ U_ t + AU = F_ k (U,t) \quad,\;k = 1,2, \dots, \leqno (P_ k) \] is studied. The equation for \(k=0\) is the one of actual interest, while the other ones approximate it as \(k\) goes to infinity. Here \(A\) is a positive self- adjoint operator in the real Hilbert space \(H\), whose inverse \(A^{-1}\) is compact; \(I = [0,T]\) if \(T < \infty\), while \(I = [0, \infty)\) if \(T = \infty\), \(F_ k\) are mappings \(D(A) \times I \to H\) and \(F_ k (U,t) \to F_ 0 (U,t)\) for \(k \to \infty\). It is shown that if \(F_ k\) fulfill some conditions then for every \({\mathcal U}_ 0 \in D(A)\) there is a function \(U(t) : I \to H\) such that \(U(t) \in L^ \infty ((0,T), H) \cap L^ 2 ((0,\widehat T)\), \(D(A^{1/2}))\) for all \(\widehat T \leq T\), \(A^{-1} U(t) \in C^ 0([0, \widehat T],H)\) and \(U(0) = {\mathcal U}_ 0\). There is a realatively open set \({\mathcal D} \subset [0, \widehat T]\) with \(\text{mes} ([0,\widehat T] \backslash {\mathcal D}) = 0\), \(0 \in {\mathcal D}\), such that \(U(t) \in C^ 1({\mathcal D},H) \cap C^ 0({\mathcal D}, D(A))\) and \(U(t)\) fulfills \((P_ 0)\) for \(t \in {\mathcal D}\) and \(U(t)\) satisfies certain estimates. Moreover, if for a \(t_ 0 \in {\mathcal D}\) there is a strong solution \(V(t)\) of problem \((P_ 0)\) on \([t_ 0,T]\) with \(V(t_ 0) = U(t_ 0)\), then \(V(t)=U(t)\) for \(t \geq t_ 0\). In the second part the results are applied to a system of equations from magnetohydrodynamics in \(\Omega \times I\), \(\Omega \in \mathbb{R}^ 3\), \[ \nu \Delta u = (u \cdot \nabla)u + u_ t + {1\over \rho} \nabla p - {1 \over \rho} j \times B + f(t), \] \[ \Delta B = \mu \sigma B_ t - \text{curl} (\mu \sigma u \times B) + g(t), \quad \text{div} (u) = 0, \text{ div} (B)=0. \]