Showing a coercivity condition for this bilinear form - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T21:01:18Z http://mathoverflow.net/feeds/question/112671 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/112671/showing-a-coercivity-condition-for-this-bilinear-form Showing a coercivity condition for this bilinear form soup89 2012-11-17T10:42:29Z 2012-11-18T12:23:51Z <p>Suppose $\Omega \subset \mathbb{R}^n$ is a compact domain. Let $f$ and $J$ (and also $\frac 1J$) be $C^1$ functions on $\Omega$. Consider the bilinear form $a:H^1(\Omega) \times H^1(\Omega) \to \mathbb{R}$ $$a(u,v) = \int_\Omega uvf + \int_\Omega \nabla u MM^T\nabla v - \int_\Omega \nabla u MM^T\nabla J \frac{v}{J}$$ where $M = D\Phi$ is the matrix representation of the derivative of a diffeomorphism $\Phi$ between two <strong>compact</strong> hypersurfaces in $\mathbb{R}^n$ (so $\Phi$ and its derivatives are bounded).</p> <p>How do I show that there exists a $C$ such that $$a(u,u) + C\lVert u \rVert^2_{L^2(\Omega)} \geq K\lVert u \rVert^2_{H^1(\Omega)}$$ for some $K$. (i.e. that $a$ satisfies a coercivity condition).</p> <p>I don't know how to show this. How do I deal with the last term in $a$, which has a minus sign? The second term is fine since it becomes $|\nabla u M|^2 > 0$ since $M$ represents derivative of the diffeomorphism $\Phi$ and therefore has full rank. But basically I can't get a positive constant in front of $\lVert \nabla u \rVert_{L^2}$ term. </p> http://mathoverflow.net/questions/112671/showing-a-coercivity-condition-for-this-bilinear-form/112706#112706 Answer by Daniel Spector for Showing a coercivity condition for this bilinear form Daniel Spector 2012-11-17T19:14:11Z 2012-11-18T12:23:51Z <p>I think the first thing to iron out is that $\Omega$ should be open, since compact would be closed and then even defining $H^1(\Omega)$ is not trivial. Maybe assume $\Omega \subset \mathbb{R}^N$ is open and $J,f$ being $C^1(\overline{\Omega})$.</p> <p>However, this is not the issue you are interested in. You want to know the relationship between </p> <p>$\int_\Omega \nabla u MM^t \nabla u\;dx$ </p> <p>and </p> <p>$||\nabla u||_{L^2(\Omega) }$. </p> <p>Given $M$, can you show that the eigenvalues of $MM^t$ are strictly positive? The ellipticity constant is just a statement on the eigenvalues of the matrix associated with the coefficients. So what you are looking to do is to prove that this matrix is strictly positive definite. I hope you can compute this successfully.</p> <p>EDIT: The result you are looking for in this case is to show that $\xi MM^t\xi \geq c$ for all $\xi \in S^{N-1}$, which would imply the coercivity you are looking for. A priori, $MM^t$ positive definite means you can this inequality with $c=0$, but you need a little better if this is your approach. For example, if the eigenvalues of $MM^t$ are ${\lambda_i}_{i=1..N}$, with $\min_i \lambda_i = \tilde{\lambda}>0$, and these eigenvalues correspond to eigenvectors $x_i$ which form an orthogonal basis for $\mathbb{R}^N$, then this is true, as follows.</p> <p>Any $x\in S^{N-1}$ can be represented as $x=\sum_{i=1}^N c_i x_i$, where $\sum_i c_i^2=1$, and we compute $MM^t x = \sum_i c_i MM^t x_i = \sum_i c_i \lambda_i x_i$, therefore $xMM^tx = \sum_i c_i^2 \lambda_i \geq \tilde{\lambda}$, where we have used $\sum_i c_i^2=1$. </p> <p>This is only an example - you should verify that the eigenvalues correspond to orthonormal eigenvectors to do this, or adapt the proof to something which is close and true in your case.</p>