Underline = Cmd+u

More symplectic structures

on the space of space curves

January 2025 @ ESI

Sadashige Ishida (ISTA)

Joint with 

Martin Bauer            Peter Michor

Introduction to myself

Sadashige, a PhD student @ ISTA (near Vienna)

Introduction to myself

Geometry & Dynamics in Math

Sadashige, a PhD student @ ISTA (near Vienna)

Introduction to myself

Geometry & Dynamics in Math, Physics, CS

Sadashige, a PhD student @ ISTA (near Vienna)

Dynamics as \(\infty\)-dim geometry

e.g. fluids, optimal transport, shapes

Introduction to myself

Geometry & Dynamics in Math, Physics, CS

Sadashige, a PhD student @ ISTA (near Vienna)

Dynamics as \(\infty\)-dim geometry

e.g. fluids, optimal transport, shapes

+ their finite-dim approximations

a.k.a. discretization

Introduction to myself

Dynamics as \(\infty\)-dim geometry

e.g. fluids, optimal transport, shapes

Geometry & Dynamics in Math, Physics, CS

+ their finite-dim approximations

a.k.a. discretization

Sadashige, a PhD student @ ISTA (near Vienna)

Overview

On the shape space of space curves,

only one symplectic structure was known.

We found more.

Overview

This is an experimental study.

One can define different dynamics by inputting different Hamiltonians. 

But what if we use different symplectic structures to invoke different dynamics?

We tried it for space curves

Symplectic structure is a sandbox

for Hamiltonian dynamics

Space with

a symplectic structure \(\Omega\)

A function \(H\)

Dynamics \(V_H\)

Symplectic structure is a sandbox

for Hamiltonian dynamics

A symplectic structure \(\Omega\)

A function \(H\)

Dynamics

Symplectic structure is a sandbox

for Hamiltonian dynamics

A symplectic structure \(\Omega\)

A function \(H\)

Dynamics

i.e. 2-form

• closed \(d\Omega=0\) 
• non-degenerate \(\operatorname{ker}\Omega = 0\)

$$ dH = \Omega(V_H, \cdot)$$

$$ \dot x =V_H$$

Symplectic structure is a sandbox

for Hamiltonian dynamics

A symplectic structure \(\Omega\) is a 2-form on a manifold \(X\) s.t.

Symplectic structure is a sandbox

for Hamiltonian dynamics

A symplectic structure \(\Omega\) is a 2-form on a manifold \(X\) s.t.

• closed i.e. \(d\Omega=0\) 

Symplectic structure is a sandbox

for Hamiltonian dynamics

A symplectic structure \(\Omega\) is a 2-form on a manifold \(X\) s.t.

• non-degenerate i.e. the map $$\flat: TX\to T^*X$$ $$  \qquad    v\to \Omega(v, \cdot )$$ is injective

• closed i.e. \(d\Omega=0\) 

Symplectic structure is a sandbox

for Hamiltonian dynamics

Symplectic structure is a sandbox

for Hamiltonian dynamics

For \(H \colon X\to \mathbb{R}\),

Hamiltonian vector field \(V_H\in \Gamma(TX)\) is the one

$$ dH = \Omega(V_H, \cdot). $$

Symplectic structure is a sandbox

for Hamiltonian dynamics

For \(H \colon X\to \mathbb{R}\),

Hamiltonian vector field \(V_H\in \Gamma(TX)\) is the one

$$ dH = \Omega(V_H, \cdot). $$

The Hamiltonian dynamics

$$\dot x=V_H(x).$$

Why Hamiltonian dynamics?

Has nice properties.

E.g.

• \(H\) is preserved in dynamics.
• If \(H\) is invariant under some group action, there is a conserved quantity.

Spaces with symplectic structures

and Hamiltonian dynamics

\(T^*M^n\)

\(T^*\operatorname{SDiff}(M)\)

Celestial mechanics

\(C^\infty(M,\mathbb{C})\)

 Schrödinger equation

 Incompressible fluids

Spaces with symplectic structures

and Hamiltonian dynamics

\(T^*M^n\)

\(T^*\operatorname{SDiff}(M)\)

Celestial mechanics

\(C^\infty(M,\mathbb{C})\)

 Schrödinger equation

 Incompressible fluids

We consider the space of space curves

We consider the space of space curves

Spaces with symplectic structures

and Hamiltonian dynamics

The space of space curves

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)=\{ c\colon \mathbb{S}^1\to\mathbb{R}^3, \partial_\theta c\neq 0 \ \forall \theta\in\mathbb{S}^1 \}$$

Parametrized curves

The space of space curves

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)=\{ c\colon \mathbb{S}^1\to\mathbb{R}^3, \partial_\theta c\neq 0 \ \forall \theta\in\mathbb{S}^1 \}$$

Parametrized curves

$$T_c\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)=C^\infty(\mathbb{S}^1,\mathbb{R}^3)$$

Tangent space

The space of space curves

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\operatorname{Diff}^+(\mathbb{S}^1)$$

Unparametrized curves a.k.a. shape space

The space of space curves

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\operatorname{Diff}^+(\mathbb{S}^1)$$

Unparametrized curves a.k.a. shape space

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)$$

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)$$

\[\Bigg\downarrow \pi\]

$$\operatorname{Diff}^+(\mathbb{S}^1)$$

The space of space curves

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\operatorname{Diff}^+(\mathbb{S}^1)$$

Unparametrized curves a.k.a. shape space

Tangent space

$$T_{[c]}\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=T_c\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\ker d\pi_c$$

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)$$

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)$$

\[\Bigg\downarrow \pi\]

$$\operatorname{Diff}^+(\mathbb{S}^1)$$

The space of space curves

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\operatorname{Diff}^+(\mathbb{S}^1)$$

Unparametrized curves a.k.a. shape space

Tangent space

$$T_{[c]}\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=T_c\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\ker d\pi_c$$

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)$$

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)$$

\[\Bigg\downarrow \pi\]

$$\operatorname{Diff}^+(\mathbb{S}^1)$$

\(\{a.\partial_\theta c \mid a\in C^\infty(\mathbb{S}^1)\}\)

curve tangent

The space of space curves

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\operatorname{Diff}^+(\mathbb{S}^1)$$

Unparametrized curves a.k.a. shape space

Tangent space

$$T_{[c]}\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)=T_c\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)/\ker d\pi_c$$

$$\eqsim\{h \in T_c \operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)\mid h\perp \partial_\theta c \}$$

$$\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)$$

$$\operatorname{Imm}(\mathbb{S}^1,\mathbb{R}^3)$$

\[\Bigg\downarrow \pi\]

$$\operatorname{Diff}^+(\mathbb{S}^1)$$

\(\{a.\partial_\theta c \mid a\in C^\infty(\mathbb{S}^1)\}\)

curve tangent

Canonical symplectic structure on \(\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)\)

The Marsden-Weinstein structure

\[\Omega_{[c]}\colon T_{[ c]}\operatorname{UImm}\times T_{[ c]}\operatorname{UImm}\to \mathbb{R},\]

Canonical symplectic structure on \(\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)\)

\[\Omega_{[c]}\colon T_{[ c]}\operatorname{UImm}\times T_{[ c]}\operatorname{UImm}\to \mathbb{R},\]

The Marsden-Weinstein structure

\[\Omega_{[c]}([h],[k])=\int_{\mathbb{S}^1}\langle D_s c\times h, k\rangle ds\]

where

\[D_s = \frac{\partial_\theta }{|\partial_\theta c|}, \quad ds = |\partial_\theta c| d\theta \]

unit tangent

Canonical symplectic structure on \(\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)\)

\[\Omega_{[c]}\colon T_{[ c]}\operatorname{UImm}\times T_{[ c]}\operatorname{UImm}\to \mathbb{R},\]

Symplectic!

The Marsden-Weinstein structure

\[\Omega_{[c]}([h],[k])=\int_{\mathbb{S}^1}\langle D_s c\times h, k\rangle ds\]

where

\[D_s = \frac{\partial_\theta }{|\partial_\theta c|}, \quad ds = |\partial_\theta c| d\theta \]

unit tangent

Canonical symplectic structure on \(\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)\)

\[\Omega_{[c]}\colon T_{[ c]}\operatorname{UImm}\times T_{[ c]}\operatorname{UImm}\to \mathbb{R},\]

Closed \(d\Omega=0\),

Symplectic!

The Marsden-Weinstein structure

\[\Omega_{[c]}([h],[k])=\int_{\mathbb{S}^1}\langle D_s c\times h, k\rangle ds\]

where

\[D_s = \frac{\partial_\theta }{|\partial_\theta c|}, \quad ds = |\partial_\theta c| d\theta \]

unit tangent

Canonical symplectic structure on \(\operatorname{UImm}(\mathbb{S}^1,\mathbb{R}^3)\)

\[\Omega_{[c]}\colon T_{[ c]}\operatorname{UImm}\times T_{[ c]}\operatorname{UImm}\to \mathbb{R},\]

Closed \(d\Omega=0\),

Symplectic!

The Marsden-Weinstein structure

\[\Omega_{[c]}([h],[k])=\int_{\mathbb{S}^1}\langle D_s c\times h, k\rangle ds\]

where

\[D_s = \frac{\partial_\theta }{|\partial_\theta c|}, \quad ds = |\partial_\theta c| d\theta \]

Non-degenerate \(\ker \Omega_{[c]}=[0]=\{a.D_s c \mid a \in C^\infty(\mathbb{S}^1)\}\)

unit tangent

Hamiltonian flow

E.g. 

Hamiltonian \(H = \operatorname{Length}([c])\)

Binormal flow

Dynamics \(V_H=[D_s c \times D_s^2 c]\)

Hamiltonian flow

E.g. 

Hamiltonian \(H = \operatorname{Length}([c])\)

Binormal flow

Dynamics \(V_H=[D_s c \times D_s^2 c]\)

A completely integrable system

More symplectic structures?

More symplectic structures?

Remember

A symplectic structure \(\Omega\) defines a Hamiltonian dynamics \(V_H\) via $$dH=\Omega(V_H,\cdot).$$

More symplectic structures?

A different \(\Omega\) defines different \(V_H\).

Remember

A symplectic structure \(\Omega\) defines a Hamiltonian dynamics \(V_H\) via $$dH=\Omega(V_H,\cdot).$$

More symplectic structures?

A different \(\Omega\) defines different \(V_H\).

But only one \(\Omega\) is known on \(\operatorname{UImm}\).

Remember

A symplectic structure \(\Omega\) defines a Hamiltonian dynamics \(V_H\) via $$dH=\Omega(V_H,\cdot).$$

More symplectic structures?

A different \(\Omega\) defines different \(V_H\).

We found more

But only one \(\Omega\) is known on \(\operatorname{UImm}\).

Remember

A symplectic structure \(\Omega\) defines a Hamiltonian dynamics \(V_H\) via $$dH=\Omega(V_H,\cdot).$$

More symplectic structures?

A different \(\Omega\) defines different \(V_H\).

We found more

But only one \(\Omega\) is known on \(\operatorname{UImm}\).

Remember

A symplectic structure \(\Omega\) defines a Hamiltonian dynamics \(V_H\) via $$dH=\Omega(V_H,\cdot).$$

 by combining 2 hints.

Hint 1. Trend in shape analysis

Hint 1. Trend in shape analysis

a Riemannian metric on \(\operatorname{Imm}\)

$$ g(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

Hint 1. Trend in shape analysis

a Riemannian metric on \(\operatorname{Imm}\)

$$ g(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

a suitable operator

$$L\colon T\operatorname{Imm}\to T\operatorname{Imm}. $$

Hint 1. Trend in shape analysis

a Riemannian metric on \(\operatorname{Imm}\)

$$ g(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

New metric $$g^L(h,k)\coloneqq g(h,Lk) $$

a suitable operator

$$L\colon T\operatorname{Imm}\to T\operatorname{Imm}. $$

e.g. \(L_c=\operatorname{id}_c\),

$$g^{\operatorname{id}}_c(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

Hint 1. Trend in shape analysis

e.g. \(L_c=\operatorname{id}_c\),

$$g^{\operatorname{id}}_c(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

e.g. \(L_c=\lambda(c)\) with a conformal factor \(\lambda\colon \operatorname{Imm}\to \mathbb{R}_{>0}\)

$$g^{\lambda}_c(h,k)=\lambda(c)\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

Hint 1. Trend in shape analysis

e.g. \(L_c=\operatorname{id}_c\),

$$g^{\operatorname{id}}_c(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

e.g. Sobolev-type differential operator  \(L_c=\operatorname{id}-D_s^2\)

$$g^{\operatorname{id}-D_s^2}_c(h,k)=\int_{\mathbb{S}^1} \langle h,k\rangle -\langle h, D_s^2 k \rangle ds = \int_{\mathbb{S}^1} \langle h,k\rangle + \langle D_s h, D_s k \rangle ds $$

Hint 1. Trend in shape analysis

e.g. \(L_c=\lambda(c)\) with a conformal factor \(\lambda\colon \operatorname{Imm}\to \mathbb{R}_{>0}\)

$$g^{\lambda}_c(h,k)=\lambda(c)\int_{\mathbb{S}^1} \langle h,k\rangle ds$$

Hint 2. Liouville form

i.e. there is a 1-form \(\Theta\) s.t. \(\Omega=d\Theta\).

Marsden-Weinstein form \(\Omega\) is exact

Hint 2. Liouville form

Marsden-Weinstein form \(\Omega\) is exact

\(\Theta\) is given by 

$$\Theta_{[c]}([h])=\frac{1}{3}\int_{\mathbb{S}^1}\langle D_s c\times c, h\rangle  ds=g^{\operatorname{id}}\left(\frac{1}{3}D_s c\times c, h\right).$$

i.e. there is a 1-form \(\Theta\) s.t. \(\Omega=d\Theta\).

Hint 1 + Hint 2

Let's define a 1-form

$$\Theta_{[c]}^{\color{blue}L}([h])\coloneqq g^{\color{blue}L}\left(\frac{1}{3}D_s c\times c, h\right)= \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, {\color{blue}L} h\rangle ds $$

Hint 1 + Hint 2

and a 2-form $$\Omega^L\coloneqq d\Theta^L$$

Let's define a 1-form

$$\Theta_{[c]}^{\color{blue}L}([h])\coloneqq g^{\color{blue}L}\left(\frac{1}{3}D_s c\times c, h\right)= \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, {\color{blue}L} h\rangle ds $$

$$\Omega^L\coloneqq d\Theta^L$$

Does \(\Omega^L\) define a symplectic structure on \(\operatorname{UImm}\)?

Hint 1 + Hint 2

with  \(\Theta_{[c]}^L([h])\coloneqq \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, L h\rangle ds \)

Closeness. OK because it is exact  \(d\Omega^L=dd\Theta^L=0\)

$$\Omega^L\coloneqq d\Theta^L$$

Does \(\Omega^L\) define a symplectic structure on \(\operatorname{UImm}\)?

Hint 1 + Hint 2

with  \(\Theta_{[c]}^L([h])\coloneqq \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, L h\rangle ds \)

Closeness. OK because it is exact  \(d\Omega^L=dd\Theta^L=0\)

$$\Omega^L\coloneqq d\Theta^L$$

Does \(\Omega^L\) define a symplectic structure on \(\operatorname{UImm}\)?

Hint 1 + Hint 2

with  \(\Theta_{[c]}^L([h])\coloneqq \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, L h\rangle ds \)

Non-degeneracy on \(\operatorname{UImm}\) ?

i.e. \(\ker \Omega_c^L = [0] = \{a. D_s c \mid a \in C^\infty(\mathbb{S}^1)\}\)

Closeness. OK because it is exact  \(d\Omega^L=dd\Theta^L=0\)

$$\Omega^L\coloneqq d\Theta^L$$

Does \(\Omega^L\) define a symplectic structure on \(\operatorname{UImm}\)?

Non-degeneracy on \(\operatorname{UImm}\) ?

i.e. \(\ker \Omega_c^L = [0] = \{a. D_s c \mid a \in C^\infty(\mathbb{S}^1)\}\)

Need to check case by case.

Hint 1 + Hint 2

with  \(\Theta_{[c]}^L([h])\coloneqq \frac{1}{3} \int_{\mathbb{S}^1} \langle D_s c \times c, L h\rangle ds \)

Symplectic structure

induced by a conformal factor

$$\Omega^\lambda\coloneqq d\Theta^\lambda$$

Theorem

With a conformal factor \(\lambda\colon \operatorname{UImm}\to \mathbb{R}_{>0} \),

is a symplectic structure on \(\operatorname{UImm}\) 

Symplectic structure

induced by a conformal factor

$$\Omega^\lambda\coloneqq d\Theta^\lambda$$

Theorem

With a conformal factor \(\lambda\colon \operatorname{UImm}\to \mathbb{R}_{>0} \),

is a symplectic structure on \(\operatorname{UImm}\) 

if \(\Theta^\lambda\) is NOT invariant under scaling (\(c\to c+t c\) with \(t >0\)).

Symplectic structure

induced by a conformal factor

$$\Omega^\lambda\coloneqq d\Theta^\lambda$$

Theorem

With a conformal factor \(\lambda\colon \operatorname{UImm}\to \mathbb{R}_{>0} \),

is a symplectic structure on \(\operatorname{UImm}\) 

If \(\Theta^\lambda\) is invariant under scaling, \(\Omega^\lambda\) is NOT symplectic on \(\operatorname{UImm}\),

but becomes symplectic in another space! (Check out our paper)

if \(\Theta^\lambda\) is NOT invariant under scaling (\(c\to c+t c\) with \(t >0\)).

Open problem

Is there a non-conformal \(L\) making \(\Omega^L\coloneqq d\Theta^L\) symplectic?

Open problem

Is there a non-conformal \(L\) making \(\Omega^L\coloneqq d\Theta^L\) symplectic?

Conjecture

Squared curvature \(L|_\theta=1+\kappa^2_c(\theta)\) defines a symplectic structure.

Open problem

Is there a non-conformal \(L\) making \(\Omega^L\coloneqq d\Theta^L\) symplectic?

Conjecture

Squared curvature \(L|_\theta=1+\kappa^2_c(\theta)\) defines a symplectic structure.

Result in preparation

Squared scale \(L|_\theta=|c(\theta)|^2\) defines a symplectic structure.

Remember, different symplectic structures induce different dynamics \(V_H\) from the same Hamiltonian \(H\).

Hamiltonian dynamics from \(\Omega^\lambda\)

Remember, different symplectic structures induce different dynamics \(V_H\) from the same Hamiltonian \(H\).

Hamiltonian dynamics from \(\Omega^\lambda\)

From \(\Omega^\lambda\) with a conformal factor \(\lambda\colon \operatorname{UImm}\to \mathbb{R}_{>0}\), we get 

\(V_H\)

(Marsden-Weinstein)

\(\Omega^{\operatorname{id}}\)

\(\Omega^{\operatorname{Length}([c])^{-1/10}}\)

\(\Omega^{\operatorname{Length}([c])^{2}}\)

Simulation of Hamiltonian dynamics

Hamiltonian dynamics \(V_H\) of total squared-scale  $$H([c])=\int_{\mathbb{S}^1}|c|^2 ds$$

\(H\) is preserved in all of them.

Other spaces?

Other spaces?

Anything to do with Schrödinger?

The linear Schrödinger equation 

$$i\partial_t \psi + \Delta \psi =0$$
 

Anything to do with Schrödinger?

The linear Schrödinger equation 

$$i\partial_t \psi + \Delta \psi =0$$
is the Hamiltonian flow for $$H(\psi)=\int\frac{1}{2} |\nabla\psi|^2 dx $$

on the function space \(C^\infty(\mathbb{T}^d,\mathbb{C})\) with a certain symplectic structure \(\Omega\).

More symplectic structures?

This symplectic structure \(\Omega\) has a Liouville form \(\Theta\)

i.e. \(\Omega=d\Theta\).

More symplectic structures?

This symplectic structure \(\Omega\) has a Liouville form \(\Theta\)

i.e. \(\Omega=d\Theta\).

Can get more symplectic structures by

$$\Omega^L=d\Theta^L$$

with different operators \(L\colon TC^\infty(\mathbb{T}^d,\mathbb{C})\to T C^\infty(\mathbb{T}^d,\mathbb{C})\) ?

More symplectic structures?

This symplectic structure \(\Omega\) has a Liouville form \(\Theta\)

i.e. \(\Omega=d\Theta\).

Can get more symplectic structures by

$$\Omega^L=d\Theta^L$$

with different operators \(L\colon TC^\infty(\mathbb{T}^d,\mathbb{C})\to T C^\infty(\mathbb{T}^d,\mathbb{C})\) ?

Yes, and it has a consequence.

Can we do the same job?

The 2-form $$\Omega_\psi(h,k)=\int \operatorname{Im} h\bar k \ dx$$ has a Liouville form
$$ \Theta_\psi(h)=\int \operatorname{Im} h \bar\psi\ dx$$

Let's apply \(L=1-a_1\Delta-a_2\Delta^2-\cdots - a_n \Delta^n\) to \(\Theta\) with \(a_1,\ldots, a_n \geq 0\) to define $$ \Theta^{L}_\psi(h)=\int \operatorname{Im} (1-a_1\Delta-a_2\Delta^2-\cdots - a_n \Delta^n) h \bar\psi\ dx$$

Then \(\Omega^L\coloneqq d\Theta^L\) defines a symplectic form!

Do the same job

With \(\Omega^L\) for \(L=1-a_1\Delta-a_2\Delta^2-\cdots - a_n \Delta^n\) we get

$$i\partial_t \psi + (1-a_1\Delta-a_2\Delta^2-\cdots - a_n \Delta^n)^{-1}\Delta \psi =0$$

as the Hamiltonian flow of $$H(\psi)=\int\frac{1}{2} |\nabla\psi|^2 dx $$

Hamiltonian flows

Proposition

Family of equations

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{\textcolor{red}{-1}}\Delta \psi =0$$

for different choices of coefs \(a_1,\ldots,a_n\geq 0\) 

Hamiltonian flows

Proposition

Family of equations

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{\textcolor{red}{-1}}\Delta \psi =0$$

for different choices of coefs \(a_1,\ldots,a_n\geq 0\) are

the Hamiltonian systems for the same Hamiltonian

$$H(\psi)=\int\frac{1}{2} |\nabla\psi|^2 dx $$

but for different symplectic structures on \(C^\infty(\mathbb{T}^d,\mathbb{C})\).

Hamiltonian flows

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{-1}\Delta \psi =0$$

          are all explicitly solvable.

Hamiltonian flows

\(i\partial_t \psi + \Delta \psi =0\)

Schrödinger equation

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{-1}\Delta \psi =0$$

          are all explicitly solvable.

Hamiltonian flows

\(i\partial_t \psi + \Delta \psi =0\)

\(i\partial_t \psi + (1-a_1 \textcolor{blue}{\Delta})^{-1}\Delta \psi =0\)

Schrödinger equation

somewhat blurred?

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{-1}\Delta \psi =0$$

          are all explicitly solvable.

Hamiltonian flows

\(i\partial_t \psi + \Delta \psi =0\)

\(i\partial_t \psi + (1-a_1 \textcolor{blue}{\Delta})^{-1}\Delta \psi =0\)

\(i\partial_t \psi + (1+a_2\textcolor{blue}{ \Delta^2})^{-1}\Delta \psi =0\)

Schrödinger equation

somewhat blurred?

direction reversed!?

$$i\partial_t \psi + (1-a_1\Delta+a_2\Delta^2-\cdots \pm a_n \Delta^n)^{-1}\Delta \psi =0$$

          are all explicitly solvable.

Future work A

Do the same machinery to find more symplectic structures on other \(\infty\)-dim manifolds.

Conclusion / Future work 

Toward a paradigm for modeling dynamics by varying not the Hamiltonian but the geometric (symplectic) structure of state spaces.

e.g. relativistic-Schrödinger equation?

Future work

Future work

Our paper has a disclaimer

We do not guarantee any correctness of (even short-time behavior) dynamics in our simulation

Future work

Symplectic structure on the space of discrete space curves?

Toward a symplectic integrator for space curves

Our paper has a disclaimer

We do not guarantee any correctness of (even short-time behavior) dynamics in our simulation

Future work

Symplectic structure on the space of discrete space curves?

Toward a symplectic integrator for space curves

Our paper has a disclaimer

We do not guarantee any correctness of (even short-time behavior) dynamics in our simulation

Thanks!

Preprint: arXiv 2407.19908

Sadashige.Ishida@ist.ac.at

On the job market in 2025 Autumn or later