On weak, strong and classical solutions of the Hopf equation. An example of F.D.E. of second order (Q920289)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On weak, strong and classical solutions of the Hopf equation. An example of F.D.E. of second order
scientific article

    Statements

    On weak, strong and classical solutions of the Hopf equation. An example of F.D.E. of second order (English)
    0 references
    0 references
    0 references
    1986
    0 references
    Let (M,g) be a compact Riemannian manifold of \(\dim M=d\) with or without boundary \(\partial M\). We denote by \(\overset \circ X_{\sigma}(M)\) the space of solenoidal vector fields on M which vanish near the boundary. H stands for the completion of the above space with respect to \(L^ 2\)-norm, denoted by \(| \cdot |\). \(V^ s\) stands for the completion of \(\overset \circ X_{\sigma}(M)\) in the Sobolev space of order \(s\in Z\), whose norm is denoted by \(\| \cdot \|_ s\). For 1-forms, we introduce \(\overset \circ \Lambda^ 1_{\sigma}(M)\) analogously. The completions of it with corresponding norms are denoted by \(\tilde H\) and \(\tilde V^ s\), respectively. The space of symmetric tensor fields with 2 contravariant (or covariant) indices is denoted by \(ST_ 2(M)\) (or \(ST^ 2(M).)\) Our aim of this paper is to `solve' the following Functional Derivative Equation (F.D.E.): (I) Find a functional W(t,\(\eta\)), for \(t\in (0,\infty)\), \(\eta\in \overset \circ \Lambda^ 1_{\sigma}(M)\) satisfying \[ \frac{\partial}{\partial t}W(t,\eta)=\int_{M}[- i\{\frac{\partial}{\partial x^ j}\eta_ i(x)- \Gamma^{\ell}_{ij}(x)\eta_{\ell}(x)\}\frac{\delta^ 2W(t,\eta)}{\delta \eta_ i(x)\delta \eta_ j(x)}+ \] \[ +\nu (\Delta \eta)_ i(x)\frac{\delta W(t,\eta)}{\delta \eta_ i(x)}+i\eta_ j(x)f^ j(c,t)W(t,\eta)]d_ gx, \] \[ \frac{1}{\sqrt{g(x)}}\frac{\partial}{\partial x^ i}\{\sqrt{g(x)}\frac{\delta W(t,\eta)}{\delta \eta_ i(x)}\}=0,\quad W(t,0)=1\quad W(0,\eta)=W_ 0(\eta). \] Here \(\eta (x)=\eta_ j(x)dx^ j\in \overset \circ \Lambda^ 1_{\sigma}(M)\), and \(f(x,t)=f^ j(x,t)(\partial /\partial x^ j)\in \overset \circ X_{\sigma}(M)\) for a.e. t, \(W_ 0(\eta)\) is a given positive definite functional on \(\overset \circ \Lambda^ 1_{\sigma}(M)\) satisfying \[ W_ 0(0)=1\text{ and } \frac{1}{\sqrt{g(x)}}\frac{\partial}{\partial x^ j}\{\sqrt{g(x)}\frac{\delta W_ 0(\eta)}{\delta \eta_ j(x)}\}=0. \]
    0 references
    0 references
    0 references
    0 references
    0 references
    compact Riemannian manifold
    0 references
    Sobolev space
    0 references
    Functional Derivative Equation
    0 references
    0 references