IAS School of Mathematics

 

Workshop web page

Friday: 2012-03-16

  • 9:00 - 10:00 James Colliander, University of Toronto, “Big frequency cascades in the cubic nonlinear Schroedinger flow on the 2-torus” abstract
  • 10:15 - 11:15 Marcel Guardia, IAS, “Growth of Sobolev norms for the cubic defocusing nonlinear Schroedinger equation in polynomial time” abstract
  • 11:30 - 12:30 Yann Brenier, University of Nice, “Approximate geodesics on groups of volume preserving diffeomorphisms and adhesion dynamics” abstract

James Colliander: Big frequency cascades in the cubic nonlinear Schrödinger flow on the 2-torus

(chalk talk)

(joint work with M. Keel, G. Staffilani, H. Takaoka, T. Tao)

I prepared slides but decided to give a chalk talk. The slides are located here: http://uoft.me/nls-cascade. The paper discussed in this talk is located here.

(See also: The thesis of Zaher Hani has advanced along these lines and is surveyed on his slides from the Ilde de Berder Workshop.)

The construction of the frequency civilization is partly conveyed by the following cartoon. Notice that the underachieving child frequency in the cartoon is always sent to the zero frequency. This violates the injectivity requirements used in our construction of the set $\Lambda$.

cartoon_construction

The next cartoon is meant to convey a traveling wave through the generations in the civilization. This wave is constructed by concatenating heteroclinic orbits in the toy model evolution.

wave_generations

The idea that the orbits could be concatenated reminded my coauthors of this famous commercial:

http://www.youtube.com/watch?v=KXA8g90g7so

 

 

Marcel Guardia: Growth of Sobolev norms for the cubic defocusing nonlinear Schrödinger equation in polynomial time

(joint work with Vadim Kaloshin; we have a preprint; slides from the talk; 32 pages)

This talk is strongly related with the previous talk.

$NLS_3^+ (T^2)$. Energy and Mass are conserved. The problem is globally well-psed in time Bourgain 1993.

Transfer of Energy

  • Fourier series of $u$.
  • Can we have a transfer of energy to higher and higher modes ass $ t \rightarrow + \infty$?
  • This is quantified with the growth of Sobolev norms.

We need to move mass toward high frequencies in a careful way to satisfy the mass and energy constraints.

Theoreom (Bourgain 1993): As $t \rightarrow + \infty$, the $H^s$ norm is upper bounded by $\leq t^{2(s-1)+} | u(0) |_.$

This result has been improved or applied to other Hamiltonian PDEs by various authors.

Question (Bourgain 2000): Are there solutions $u$ such that for $ s>1$ such that as $ t \rightarrow + \infty? $ Moreover, he conjectured that the growth should be subpolynomial in time: $ | u(t)|</em>{H^s} \ll t^\epsilon$.

The second part was partly conjectured because of insights related to Nekoroshev type theorems for NLS.

Kuksin studied the growth of Sobolev norms for NLS for large initial condition. For such data, a change of coordinates recasts the dynamics into

Theorem (CKSTT 2010): $\exists $ big frequency cascades in the $NLS_3^+ (T^2)$ flow.

The solutions have small intial mass and energy. They remain small as time involves whereas the s-Sobolev norm grows considerably.

Theorem: (long statement, I’m reading instead of typing.)

The mass is small but the $H^s$ norm is initially large. They can then grow it up to any big threshold over a polynomially related time interval.

Remark: One might view this equation as a perturbation (when the data is small) of the (integrable) linear Schr”odinger. It is well know that the Nekoroshov type results for PDEs often loses the exponential estimates and becomes polynomial. Our result is consistent with this.

Remark: Our result deals with a different regime than the Bourgain subpolynomial conjecture. Our result is rather fast, but it could perhaps slow down over infinite time. Our construction involves a finite number of modes. If we try to build something on an infinite number of modes, the transfer mechanism might slow down.

Comments:

  • One can tensor this up to obtain similar results on $T^d, d \geq 2$.
  • We can obtain more detailed information about the distribution of the Sobolev norm of the solution $u$, among its Fourier modes when $t = T$. In particular, the high Sobolev norm is carried by two high achievers at the last stage. The high Sobolev norm is essentially localized in two modes.

Main Ideas in the Proof:

  • $I$-team introduced a finite-d toy model.
  • This toy model approximates well certain solutions of NLS
  • Our contribution is the analysis of the toy model. Using dynamical system tools, and a careful choice of the initial conditions, we find a faster motion.
  • The solutions of NLS can be proven to approximate well the solutions for the toy model for long time.

Reduction to the toy model.

  • $FNLS$
  • $RFNLS$
  • Construct $\Lambda$.
  • Toy Model ODE

For $N$ big enough, the set $\Lambda$ can be chosen to have the “wide diaspora property.” This is partly why we don’t have an infinite cascade. The construction only involves a finite number of modes. We want to quantify everything in terms of the number $N$ of generations. At the end we have $N \thicksim \log K$. We have to quantify everything.

Toy Model Theorem: There exists an orbit in the toy model which moves from the first generation to the last. Their statement includes quantifications! They compute the time of this transfer process.

To make things happen quickly, they want to make the transfers as fast as possible. This development uses a different orbit construction than the one performed by CKSTT.

Dynamics of the Toy Model:

  • ODE explicitly written out.
  • Each 4-d plane is invaraint.
  • Dynamics in each 4-d plane is given by a simple Hamiltonian involving nearest neighbor interactions.

Nice picture of invariant planes intersecting to form something like a polyhedra with a curve following along nearby invariant lines. “Of course, we are not in the plance but we are nearby it.” Of course to do this, we need to understand the dynamics in each of these planes. To obtain these orbits, we use hyperbolicity. But these planes have certain normal positive Lyapunov exponents so one has to be very careful. If we just move away from these planes, we lose control.

Dynamics in $L_j$:

  • To construct such orbits, we need to understand dynamics in each $L_j$.
  • Hamiltonian $h_j$ and $M_j(b_j, b_{j+1}) = |b_j|^2 + |b_{j+1}|^2$…..ack slide changed.
  • Contains two periodic orbits.
  • Periodic orbits in $L_j$ are hyperbolic.
  • Stable and unstable invariant manifolds of the periodic orbits coincide.
  • Call $\gamma_j$ the heteroclinic connection between the two dimensional manifold asymptotic to $T_j$ as $ t \rightarrow - \infty$ and asymptotic to $T_{j+1}$ as $ t \rightarrow \infty$.

Key Problem: The Shadowing

(nice picture)

  • We put sections transveral to the flow.
  • We study local maps: dynamics close to the periodic orbits $T_j$. Global maps: study dynamics close to the heteroclinic connections $\gamma_j$.

Local and Global Maps:

  • Shadowing for global map is basically applying (refined) Gronwall estimates.
  • Local map is more delicate: periodic orbits are of mixed type. Hyperbolic eigenvalues are resonant.
  • This resonance complicates the analysis of the local maps.

We need to choose very carefully which orbits we study.

The Model Problem:

  • After some reductions, we have a Hamiltonian of the form:

where $H_4$ is a degree 4 homogenous polynomial, the variables “1” correspond to the variable $b_{j-1}$ ….slide changed.

Analysis of map from a section $\Sigma_+$ to $\Sigma_-$.

Dynamics of the linear saddle (Kill the $H_4$ and see what happens.).

Dynamics of the resonant saddle:

  • System is not well approximated by its linear part due to the resonance.
  • For typical initial conditions, we have a resonat affect creating logarithmic (in $\delta$ ) corrections to the transfer across hetereoclinic connections.
  • We need $~N$ transitions.
  • The number of logarithms becomes exponential in $N$.
  • We need to stay close to the periodic orbits to control the shadowing
  • This implies we need to start….slide change

We use the beautiful Shilnikov trick. The worst term that was developing with logarithms is now computed more accurately in terms of some function $g(p_0, q_0)$. This transfers the resonant saddle dynamics into essentially the dynamics of the linear saddle, provided that we carefully choose the domain of the map. This is kind of delicate and needs to be iterated through compositions.

Composing the local and the global maps:

  • We need to compose the local and global maps.
  • We define sets $U_j$ in the transversal secions and we show that the dynamics moves one into the other. (This is the “perfect shot”.)
  • To avoid deviations at each local map, we need to impose a restriction at every step.
  • “Product-like” step.

Product-like structure sets.

  • We start with a polydisk.
  • At each step, we impose a condition on the mode $b_{j-1}$.
  • Inductively, we rstrict the domain on previous domains involving conditions on previous mode involving the Shilnikov function $g$.
  • Since the restricitons involve a different mode at each step, the conditions are compatible.

Composing the local and global maps produces the toy model result. The detailed discussion partly explains the time quantification.

Approximating solutions of NLS:

  • Last step obtain a solution of NLS close to the solution of the toy model.
  • We modify the set $\Lambda$ from the $I$-tema so that the modes out of $\Lambda$ only gets influenced by few modes in $\Lambda$.
  • Each $b_j$ is excited only for a short period of time.
  • A mode out of $\Lambda$ only receives mass from $\Lambda$ during a short time.
  • This implies that the spreading of mass to modes out of $\Lambda$ is very slow.
  • We obtain an orbit for NLS that undergoes the growth of Sobolev nroms in polynomial time.

Yann Brenier: Approximate geodesics on groups of volume preserving diffeomorphisms and adhesion dynamics

(chalk talk; but here are the slides.)

It’s a good time for all of us to thank the organizers for this meeting. (Applause!)

Related to a question posed by Shnirelman from 1985.

System of interacting particles along the real line with sticky collisions. When the particles hit, they merge and continue with the same momentum. This is an inelastic, sticky collision. This is clearly

  1. dissipative
  2. nonreversible in time

Shnirelman’s Question (1985): Can we modify the action principle to handle these dissipative collisions?

Unfortunately, the paper is hard to find. You can think of the collision in a higher dimensional space and keep track of the energy in the extra variables.

G. Wolansky (2008 ?)

In this talk, I want to provide some ideas that come from ideal fluids. This seems strange because this problem is highly compressible, etc.

This talk is about a proposal for a modified action suggested by ideal fluid mechanics.

Arnold’s geometric interpretation (1966) of Euler equation for incompressible fluids (1755).

Let $D = [0,1]^3$. Let $VPM (D) = [ volume ~ preserving ~ maps ~ of ~ D]$. This may be viewed as a subset of $H = L^2 (D, R^3)$. Geodesics along VPM are (formally) the solutions of the Euler equations.

There is a discrete subset of $VPM (D)$ are the permutation maps $S =P_N (D)$. Partition the unit cube into a collection of $N$ subcubes $Q_i$ each with center of mass $A_i$. You would like to do some kind of discrete fluid mechanics by exchanging these cubes. There is a folklore of approximating geodesics with these kinds of maps. This is used in some works in computational geometry. How to define approximate geodesics along $P_N (D)$?

More generally, let $H$ be a Euclidean (or Hilbert) space. You have a closed bounded subset $S$. Introduce a potential Here $R$ is the Legendre transform: Convex, Lipschitz, usually not smooth.

Approximate minimizing geodesics are found by minimizing between two given points $A, B \in H$ by satisfying $X(0) = A, X(1) = B$. If $S$ is a smooth manifold this converges to geodesics Rubin-Ungar 1957 (Yann’s birth year!).

These ideas were applied by David Ebin to fluids.

A simpler example than the one appearing in Shnirelman’s question…

Take $H = R^2$. Let $S$ be the St. George cross. He writes the coordinate axes in $R^2$ in red and forecasts that a joke will soon come up…

Whenever $\Phi$ is smooth about $X$, we have $\nabla \Phi (x) = x - \pi_S (x)$ (the closes point to $x$ inside $S$, not necessarily unique). The bad set $N$ where differentiability fails is both meager and has lebesgue measure zero in finite-d case. This has to do with the regularity of Lipschitz functions.

What is the bad set related to the St. George cross? Of course, it is the St. Andrew cross, the flag of Scotland! (He draws that in blue.) You can also reverse the picture so that the bad set becomes the St. George cross if you prefer to view it that way…..

If $x \in H \backslash N$, we have $\phi (x) = \frac{1}{2} x - \pi_S (x) ^2 = \frac{1}{2} \nabla \phi (x) ^2$.

Look at the action (for simplicity $\epsilon = 1$) for a “good curve” $ t \rightarrow x(t)$. Namely a curve for which $x(t) \in H \backslash N$ for a.e. time, the action reads

So, obvious minimizers are those good curves that satisfy the first order equation

This is a so-called gradient flow of a Lipschitz convex function (up to the first term which can be absorbed). These objects have been studied.

The theory of maximal monotone operators does the job (cf H. Brezis book) in the sense that this is completely well-posed in $H$. We know from that theory that $ x \in C(R_+; H)$, Lipschitz in $t$, and which is sometimes called the minimal selection gradient or “mean” gradient (studied in the Italian school).

Example. Differentiate $ x $. The subgradient fills in the vertical line. The minimal gradient has value zero at $x=0$. This is a nice theory but it gives us very bad curves.

If you start on this St. George cross example, he describes the dynamics and interprets this as a dissipative mechanism. This has little to do with the action principle but it does have dissipation. So, we might take some inspiration from this example….this is a proposal for a modified action.

Modified action:

Minimizers of the modified action are very likely to be bad curves.

Some rats were confined in a box by electric shocks and another which is very hot. But, if you dig a small channel between the other two boxes. It turns out the rats can survive longer by moving back and forth between the two boxes. I hope it is not a true story….

The dissipation is not incompatible with the arrow of time if you order the data.

Now, I’d like to go back to permutations and fluids. What kid of equation do I get?

Remember the box, broken up into the subcubes. Consider the set $S$ to be the permutations of all the centers. Let $H$ denote $R^{dN}$. In the $d=1$ case, you get a friendly approximate geodesic equation through the classical (nonmodified) action. We are then describing $N$ particles on the line. This is like a gravitating parallel pancackes according to Newton gravity plus a repulsive background. This type of model was studied by people like Zeldovich. The repulsive effect is natural in that context. By approximating the incompressible Euler this way, it is nice that you get a model that is reasonable from the point of gravity.

In higher dimensions, the model is NOT consistent with Newtonian gravitation but is instead consistent with a Monge-Ampere correction to Newton’s gravitation. You get something like $\Delta \phi = \rho -1$ and then eventually find something like $ {\mbox{det}} (I + D^2 \phi) = \rho.$ I am not yet certain if this is geometrically reasonable. It is related to Born-Infeld correction to Maxwell’s equations.

So, what is the point? If you modify the action, you can recover interaction with sticky collision.

This is the so-called “Dust” in the Russian literature. These are elementary ideas that explain why matter has clumped in cosmology. Sluggish motions in the early universe moves like honey. Tiny fluctuations of qunatum origin and these create a Jeans instability which tends to concentrate matter. This is at a very large scale and concentrated on a llower dimensional fractal set.