4
$\begingroup$

(I am reading a paper called Shortening Complete Plane Curves by Kai-Seng Chou & Xi-Ping Zhu. It is available at http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.jdg/1214424967. Page 476 is relevant)

Consider the partial differential equation on the domain $\mathbb{R}\times [0,T]$: $u_t - A(x,t)u_{xx} + \text{l.o.t} = f$ where $A(x,t) = \frac{(1-k_0(x)^2t)^2}{[(1-k_0(x)^2t)^2 + (k_{0_x}(x)t)^2]^2}$ where $k_0(x)$ is the curvature of the curve $\gamma_0:\mathbb{R} \to \mathbb{R}^2$.

Recall that a PDE is uniformly parabolic if there exist positive constants $a$ and $b$ such that the term in the front of the Laplacian sits between $a$ and $b$, i.e., $a \leq A(x,t) \leq b$.

Questions:

1) Why is it true that

$A$ is bounded in $C^{k, \alpha}(\mathbb{R} \times [0,T])$ if $\gamma_0 \in C^{k+4, \alpha}(\mathbb{R})$?

Something to do with the fact that $k_0$ depends on $(\gamma_0)_{xx}$?

2) Why is it true that

If we restrict $T$ so that, for example, $T < \frac{1}{2}\inf_x \frac{1}{1+k_0^2(x)},$ then the PDE is uniformly parabolic.

I don't see where that comes from at all.

Thanks for any help.

1 Answers 1

3

1) Yes, if in $k_0$ there are derivatives of up to the second order, then $\frac{\partial} {\partial x}A(x,t)$ contains $k_0$ derivatives of order no more than three etc. Also it is infinitely differentiable with respect to $t$. The only thing to be checked here is that the denominator is bounded away from zero. But generally it does not hold. For example, if $k_0(x_0)\ne0\;$ and ${k_0}_x(x_0)=0\;$ then $ A(x_0,t) = \frac{1}{(1-k_0(x_0)^2t)^2}\to\infty, \quad t\to k_0^{-2}(x_0). $ However, for small enough values of $t$ (as restricted in the question below), $ 1-k_0(x_0)^2t \ge 1-\frac12\frac{k_0^2(x)}{1+k_0^2(x)}\ge\frac12, $ thus the denominator is bounded away from zero by $1/16$.

2) Put $C_1=\sup_x |k_{0}(x)|\;$, $C_2=\sup_x |k_{0_x}(x)|\;$. Then we have $ A(x,t)\ge \frac{\frac14}{\left(\frac14+C_2^2T^2\right)^2}=a, $ $ A(x,t)\le \frac {(1+C_1^2T)^2}{\frac1{16}}=b. $

  • 0
    @blackcat my bad, thanks. It should be $A(x,t)\ge \frac{\frac14}{\left((1+C_1^2T^2)^2+C_2^2T^2\right)^2}.$2012-07-25