Sobolev problems associated with Lie group actions (Q897036)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sobolev problems associated with Lie group actions
scientific article

    Statements

    Sobolev problems associated with Lie group actions (English)
    0 references
    0 references
    16 December 2015
    0 references
    Let \(M\) be a closed manifold and \(X\) a submanifold of \(M\) of codimension \(\frac{n}{2}\). Denote by \(i:X\hookrightarrow M\) the embedding. Let \(G\) be a Lie group acting on \(M\). In the article under review, the author considers the Sobolev problem associated with Lie group actions originally due to [\textit{B. Yu. Sternin}, Trans. Mosc. Math. Soc. 15, 387--429 (1966; Zbl 0161.08504)] associated with a Lie group action and with the nonlocal boundary condition: solve \[ \begin{aligned} Pu&\equiv f\mod X,\\ i^{*}Bu&=\varphi,\end{aligned} \] where \(u\in H^s(M)\), \(f\in H^{s-m}(M)\), \(\varphi\in H^{s-b-\frac{n}{2}}(X)\), \(P\) is a \(\Psi\text{DO}\) of order \(m\) on \(M\), and \(Pu\equiv f\mod X\) means \(Pu=f\) outside \(X\). Here \(B\) is a nonlocal operator defined by \[ Bu:=B_0u+\int_G B_gT_gudg, \] where \(T_g:C^\infty(M)\to C^\infty(M)\) is defined by \((T_gu)(x)=u(g^{-1}(x))\), \(B_0\) is a \(\Psi\text{DO}\) of order \(b\) on \(M\), and \(B_g\), where \(g\in G\), is a family of \(\Psi\text{DO}\) of order \(b\) on \(M\) which depends smoothly on \(g\). Here, it is assumed that \(s-b-\frac{n}{4}>0\) and \(0<m-s-\frac{n}{4}\leq 1\). The original Sobolev problem (without \(G\)) is to find conditions such that it is well posed (Fredholm) and then compute its index. Sternin found that the Fredholm property of the Sobolev problem is equivalent to the ellipticity of \(P\) and an associated operator on \(X\). Moreover, the index of the Sobolev problem is equal to the sum of indices of \(P\) and the associated operator. The article under review solves the Sobolev problem in the presence of a Lie group action: the main result is that if the Lie group \(G\) satisfies some conditions then an associated operator on \(X\) acquires some structure, which permits us to introduce ellipticity on it and prove the finiteness theorem.
    0 references
    pseudodifferential operator
    0 references
    analytic index
    0 references
    Lie group action
    0 references
    Fredholm property
    0 references
    Sobolev problem
    0 references

    Identifiers