Expanding $D\textbf{x}(x^0,0)$ into matrix form

132 Views Asked by At

PDE Evans, 2nd edition, pages 105-106

Lemma 2 (Local invertibility). Assume we have the noncharacteristic condition $F_{p_n}(p^0,z^00,x^0) \not=0$. Then there exist an open interval $I \subseteq \mathbb{R}$ containing $0$, a neighborhood $W$ of $x^0$ in $\Gamma \subset \mathbb{R}^{n-1}$, and a neighborhood $V$ of $x^0$ in $\mathbb{R}^n$, such that for each $x \in V$ there exist unique $s \in I, y \in W$ such that $$x=\mathbf{x}(y,s).$$ The mappings $x \mapsto s, y$ are $C^2$.


Proof. We have $\mathbf{x}(x^0,0)=x^0$. Consequently, the Inverse Function Theorem gives the result, provided $\det D\mathbf{x}(x^0,0) \not=0$. Now \begin{align}\mathbf{x}(y,0)=(y,0) \qquad(y \in \Gamma)\end{align} and so if $i-1,\ldots,n-1,$ $$x_{y_i}^j(x^0,0) = \begin{cases}\delta_{ij} \qquad (j = 1,\ldots,n-1) \\ \, \, \,0 \qquad(j=n) \end{cases}$$

Furthermore equation $(31)(c)$, which on page 104 says $\mathbf{\dot{x}}(s)=D_p F (\mathbf{p}(s),z(s),\mathbf{x}(s))$, implies $$x_s^j(x^0,0)=F_{p_j}(p^0,z^0,x^0).$$ Thus, $$D\textbf{x}(x^0,0)=\begin{pmatrix} 1 & & 0 &F_{p_1}(p^0,z^0,x^0) \\ & \ddots & & \vdots \\ 0 & & 1 & \vdots \\ 0 & \cdots & 0 & F_{p_n}(p^0,z^0,x^0) \end{pmatrix}_{n \times n}$$

How is the matrix derived as an expression for $D\textbf{x}(x^0,0)$?

I only understood the last column of the matrix, which results from writing out all the terms of $F_{p_j}(p^0,z^0,x^0)$ for all $j = 1,\ldots,n$, and placing them collectively in a vertical array.

1

There are 1 best solutions below

2
On BEST ANSWER

It looks like Evans is just applying the definition of the Jacobian. Each column of $D\mathbf x(y,s)$ is the partial derivative of $\mathbf x$ with respect to a component of one of the input variables $y$ and $s$. Explicitly, $$ D\mathbf x(x^0,0) = \begin{pmatrix} x_{y_1}^1(x^0,0) & \dotsm & x_{y_{n-1}}^1(x^0,0) & x_s^1(x^0,0) \\ \vdots & \ddots & \vdots & \vdots \\ x_{y_1}^{n-1}(x^0,0) & \dotsm & x_{y_{n-1}}^{n-1}(x^0,0) & x_s^{n-1}(x^0,0) \\ x_{y_1}^n(x^0,0) & \dotsm & x_{y_{n-1}}^n(x^0,0) & x_s^n(x^0,0) \end{pmatrix}. $$ Each entry can then be replaced with the equivalent expression given in the snippet you quoted (for example $x_{y_i}^j(x^0,0) = \delta_{ij}$), giving us the desired expression for $Dx(x^0,0)$.