Interaccion Persona-ordenador

Curso 2026-2027

Diego Rodríguez

Profesor:

For the packet estimate, retain these smooth data and assume §3.2 (i)–(iii).

Proposition 3.1. There is a finite exponent Q=Q(c0)Q=Q(c_{0}), uniform over the smooth packet data satisfying §3.2 (i)–(iii), such that for every kk0(c0)k\geq k_{0}(c_{0}) satisfying

PQkϑ/100,ϑ=106,P^{Q}\leq k^{\vartheta/100},\qquad\vartheta=10^{-6},

there is a smooth odd exact Euler solution unewu^{\text{new}} on [0,S][0,S], with pressure pnewp^{\text{new}}.

  1. 1.

    Gradient and pressure increments. At x=X(t,y)x=X(t,\ell y), with θ=km0y\theta=km_{0}\cdot y, its increments satisfy

    equation (3.13) (3.13)
    unewu\displaystyle\nabla u^{\text{new}}-\nabla u
    =aχ1vmfδ(θ)+O(k1/4),\displaystyle{}=a\chi_{1}v\otimes mf_{\delta}^{\prime}(\theta)+O(k^{-1/4}),
    equation (3.14) (3.14)
    2pnew2p¯\displaystyle\nabla^{2}p^{\text{new}}-\nabla^{2}\bar{p}
    =2aχ1(mMv)mmDmfδ(θ)+O(k1/4).\displaystyle{}=-2a\chi_{1}(m\cdot Mv)\frac{m\otimes m}{D_{m}}f_{\delta}^{% \prime}(\theta)+O(k^{-1/4})\mathchar 46\relax

    The errors are uniform globally in space and on [0,S][0,S].

  2. 2.

    Particle-map bounds. Suppose in addition that, for every integer n0n\geq 0, the parent particle map obeys

    |I|=nsup0tSaI(Xid,Xt,Xtt)HsKhn+1(n!)2,1KhPc0.\sum_{|I|=n}\sup_{0\leq t\leq S}\|\partial_{a}^{I}(X-\text{id},X_{t},X_{tt})\|% _{H^{s}}\leq K_{h}^{n+1}(n!)^{2},\quad 1\leq K_{h}\leq P^{c_{0}}\mathchar 46\relax

    Then, for every integer n0n\geq 0, the particle map XnewX^{\text{new}} of unewu^{\text{new}} obeys

    |I|=nsup0tSaI(Xnewid,Xnewt,Xnewtt)Hs(kC)n+1(n!)2,C=10(s+2).\sum_{|I|=n}\sup_{0\leq t\leq S}\|\partial_{a}^{I}(X^{\text{new}}-\text{id},X^% {\text{new}}_{t},X^{\text{new}}_{tt})\|_{H^{s}}\leq(k^{C_{*}})^{n+1}(n!)^{2},% \quad C_{*}=10(s+2)\mathchar 46\relax
  3. 3.

    Initial increment. The initial increment splits as uhigh,0+umean,0u_{\text{high},0}+u_{\text{mean},0}, with supports in {|a|/2}\{|a|\leq\ell/2\} and {|a|2}\{|a|\leq 2\}, respectively. For each fixed integer m0m\geq 0,

    uhigh,0HmmakmPcm,umean,0Hmmk2Pcm.\|u_{\text{high},0}\|_{H^{m}}\leq\ell^{-m}ak^{m}P^{c_{m}},\qquad\|u_{\text{% mean},0}\|_{H^{m}}\leq\ell^{-m}k^{-2}P^{c_{m}}\mathchar 46\relax

    If t0=0t_{0}=0 and L=0L=0, then umean,0=0u_{\text{mean},0}=0. Let ϕδ\phi_{\delta} be the mean-zero periodic primitive of fδf_{\delta}. In this case, the initial oscillatory increment is

    uhigh,0(a)=2ak2curla[χ1(a/)(m0×v(0))ϕδ(km0a/)].u_{\text{high},0}(a)=-\frac{\ell^{2}a}{k^{2}}\text{curl}_{a}\left[\chi_{1}(a/% \ell)(m_{0}\times v(0))\phi_{\delta}(km_{0}\cdot a/\ell)\right]\mathchar 46\relax

Proof strategy for Proposition 3.1. We first solve the linear equation for the angle…