2
$\begingroup$

I am considering an ODE $\dot{x}=f(x)$, with $x\in\mathbb{R}^d$ and $d<\infty$. $f$ is a $C^k$ function and I denote by $\Phi_t x$ be the value of the solution at time $t$.

I assume that my ODE has a unique attractor that is exponentially stable: $\|\Phi_t x - x^*\| \le \beta e^{-\alpha t}$, with $\alpha>0$ and I define the function $G$ by: $$ G x = \int_0^\infty (\Phi_t x - x^*) dt$$

I believe that the exponential stability of the ODE plus $f$ being $C^k$ suffices to show that $G$ is $C^k$ but I am not 100% sure and I am not able to find a reference.

Would anyone know a reference? (my main interest is the $C^2$ case).

$\endgroup$

1 Answer 1

4
$\begingroup$

I don't know a reference, but here's the rough proof that $G \in C^1$.

First, from the integral equality $$ \Phi_t(x+h) - \Phi_t(x) = \int_0^1 D\Phi_t(x+\eta h) \cdot h \,\mathrm{d}\eta $$ follows the mean-value estimate $$ \| \Phi_t(x+h) - \Phi_t(x) - D\Phi_t(x) \cdot h \| \le \sup_{\eta \in [0,1]} \| D\Phi_t(x+\eta h) - D\Phi_t(x) \|\,\|h\|. $$ This allows us to estimate $$ \|G(x+h) - G(x) - \int_0^\infty D\Phi_t(x) \cdot h \,\mathrm{d}t\| \\ \le \int_0^\infty \| \sup_{\eta\in[0,1]} D\Phi_t(x+\eta h) - D\Phi_t(x) \|\,\mathrm{d}t\,\|h\|. $$ To show that this is $o(h)$, we split up the integral into intervals $[0,T]$ and $[T,\infty)$. For any finite $T$, the first part is small since $t \mapsto D\Phi_t(x)$ is uniformly continuous on $[0,T]$. The second part is exponentially small when $T \to \infty$ due to the exponential stability. Hence $G$ is differentiable and $$ DG(x) = \int_0^\infty D\Phi_t(x) \,\mathrm{d}t. $$ Similar estimates can be repeated to prove that $G \in C^1$ and by induction that $G \in C^k$.

Extra details in reply to Willy Wong's comment:

Since $x^*$ is exponentially stable and $f \in C^1$, it follows that $x^*$ is linearly stable, hence $\|D\Phi_t(x^*)\| \le C e^{-\alpha t}$. Then for $x$ close to $x^*$, $D\Phi_t(x)$ is a small perturbation, hence the exponential estimates are approximately preserved. Since $\Phi_t(x) \to x^*$ and $D\Phi_t(x) = D\Phi_{t-T}(\Phi_T(x)) \cdot D\Phi_T(x)$, we see that when $T$ is large enough, essentially the same estimate holds for any initial $x$. Thus $\|D\Phi_t(x^*)\| \le \tilde{C} e^{-\tilde{\alpha} t}$ with $\tilde{\alpha} \approx \alpha$. This implies that the integral of $D\Phi_t(x^*)$ is well-defined.

Note that the fact that $f \in C^1$ at $x^*$ is also implicitly used to argue that $t \mapsto D\Phi_t(x)$ is uniformly (equi)continuous on any bounded interval.

$\endgroup$
4
  • $\begingroup$ How do you justify $\int_0^\infty D\Phi_t(x) ~\mathrm{d}t$ exists? (Just being nitpicky here, since the proof should depend on the fact that $f$ is $C^k$ at $x^*$, otherwise there are trivial counterexamples.) $\endgroup$ Commented May 26, 2016 at 14:06
  • $\begingroup$ Thanks for this answer but I found it hard to generalize it to $C^2$. To me, the main difficulty is to prove that for $x$ close to $x^*$: $\| D^k \Phi_t(x) \| \le C^{-\alpha t}$. Once this is done, you proof seems easy to generalize to $C^k$. But even for the $C^1$ case, this is not obvious for me. Should it be? $\endgroup$
    – N. Gast
    Commented May 27, 2016 at 12:16
  • $\begingroup$ Once you know that $\|D\Phi_t(x)\| \le C e^{-\alpha t}$, then $\|D^k\Phi_t(x)\| \le C e^{-\alpha t}$ follows from a Gronwall-like argument. See Lemma C.1 in my book: jaapeldering.nl/includes/get.php?file=NHIM-noncompact-book.pdf $\endgroup$ Commented May 27, 2016 at 19:27
  • $\begingroup$ Thanks again for the pointer. It took me some time to take the time to understand your proof of Lemma C.1 of your book but now, I am convinced that it solves my question. $\endgroup$
    – N. Gast
    Commented Jul 21, 2016 at 9:19

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .