Ordinary or partial differential equations. Delay differential equations, neutral equations, integro-differential equations. Well-posedness, asymptotic behavior, and related questions.

learn more… | top users | synonyms

67
votes
0answers
5k views

Dropping three bodies

Consider the usual three-body problem with Newtonian $1/r^2$ force between masses. Let the three masses start off at rest, and not collinear. Then they will become collinear a finite time ...
18
votes
0answers
272 views

Infinitely many planets on a line, with Newtonian gravity

(I previously asked essentially this on physics.stackexchange, but was actually hoping for answers with something closer to a proof than what I got there.) Suppose we have a unit mass planet at each ...
17
votes
0answers
845 views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and ...
13
votes
0answers
1k views

The radius of convergence of the p-adic exponential function.

As every number theorist learns, the radius of convergence of $exp(x)$, defined by the usual power series in a neighborhood of zero, is $$\rho = p^{-1/(p-1)}.$$ This is typically proven by computing ...
7
votes
0answers
125 views

What subspaces of n-tuples of rational functions can be the solution space to a system of differential equations?

Let $K=\mathbb{C}(x)$ denote the field of rational functions (in 1 variable), and let $K^n$ denote an $n$-dimensional $k$-vector space (with basis). For some integer $m$, let $$\delta_{11}, ...
6
votes
0answers
127 views

The geometric shape of domains of flows

Consider a smooth (non-compact) manifold $M$ with a vector field $X$. Then we know that there is a open neighbourhood $U \subseteq M \times \mathbb{R}$ of $M \times \{0\}$ such that on $U$ the flow ...
6
votes
0answers
264 views

Uniqueness for a non-local differential equation

Question:Fix $\epsilon>0$. Consider the differential equation, defined for functions $f(t,x)\in C^\infty([0,\epsilon]\times[0,\epsilon])$ defined by $$\frac{\partial}{\partial t} ...
5
votes
0answers
93 views

Is the space of $C^r$ vector fields inducing locally uniformly bounded trajectories Baire?

Let $\mathcal{V}$ be the space $C^r$ vector fields on a non-compact (smooth) manifold $M$. Being a subspace of $C^r(M, T M)$, it inherits the natural $C^r$ topology (i.e. the strong topology) of that ...
5
votes
0answers
93 views

Lagrangean uniqueness versus Eulerian uniqueness

(1) Lagrangean description. Let us consider a $N\times N$ system of autonomous ODE: $$ \dot x=a(x),\quad \mathbb R\ni t\mapsto x(t)\in \mathbb R^N,\quad a:\mathbb R^N\rightarrow \mathbb R^N. $$ ...
5
votes
0answers
191 views

Linear ODEs in a locally convex vector space

Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
5
votes
0answers
276 views

Rigorous results on the method of multiple scales

The method of multiple scales (Scholarpedia) is a technique used to obtain approximate solutions to differential equations, most commonly when some of the more standard approaches to perturbation ...
5
votes
0answers
298 views

When is a vector field on a surface a Lie bracket

On a Riemannian 2 manifold, when is a vector field (possibly defined only on the manifold minus a finite number of points) the Lie bracket of two mutually orthogonal vector fields?
5
votes
0answers
316 views

Differential Equations Satisfied by Modular Forms

In Verrill's paper preprint here, she has the following theorem which is from a paper of Stiller. It states that Let $\Gamma$ be a discrete subgroup of $SL_{2}(\mathbb{R})$ commensurable with ...
5
votes
0answers
407 views

When is the monodromy group of a linear differential equation dense in the Galois group?

Given a system $Y'=A(t)Y$ with only regular singular points, then a theorem of Schlesinger says that the Zariski closure of the monodromy group is equal to the Galois group of the corresponding ...
4
votes
0answers
354 views

A generalization of Liouville formula for the determinant of a system of ODE?

Let $\Phi(t)$ be an $n\times n$ complex matrix whose columns are (independent) solutions of the system of ordinary differential equations (ODE): $\frac{d}{dt}y= A(t) y$, where $A(t)$ is a ...
4
votes
0answers
165 views

Constructing solutions to matrix equations

Let $k,n$ be integers, $u_1,\dots,u_n \in U(k)$, $d_1,\dots,d_n \in \mathbb Z$ with $\sum_{i=1}^{n} d_i =: d \neq 0$. Consider the map $w:= U(k) \to U(k)$ with $$w(v):= u_1 v^{d_1} \cdots u_n v^{d_n} ...
3
votes
0answers
73 views

Toda Flow Embeddings

What are strategies for generating the following types of pictures: Here's what's going on here. Take a toda flow in 3 variables. The equations of motion are: ...
3
votes
0answers
71 views

Is there any weighted sobolev embedding with non-decaying weight

Is there any weighted sobolev embedding like $$(\int_{R^d}(1+|x|)^s |u|^pdx)^{1/p}\leq C||\nabla^a u||_{L^q}$$? Here $s>0$, and for some appropriate $p, q$.
3
votes
0answers
108 views

Nonexistence of Limit Cycle

Consider a planar dynamical system described in polar coordinates as $$ \left\{ \begin{array}{ll} \dot{\theta}=\Delta - r \sin \theta,\\ \dot{r} = - r + 1 + \cos \theta, \end{array} \right. $$ where ...
3
votes
0answers
103 views

Approximating solutions of non-linear differential equations

I have met a system of non-linear equations as follows, $$\frac{\mathbb{d}y_k}{\mathbb{d}t}=-(1-\alpha)y_k\sum_s{s^az_s}-\alpha y_kz_k,$$ ...
3
votes
0answers
212 views

May a globally bounded G-function have a logarithmic branching? (On a conjecture of Ruzsa)

By a "globally bounded $G$-function," following G. Christol, I will mean a solution to a (minimal) linear differential equation on $\mathbb{P}^1$ (then necessarily of the Fuchsian type and with ...
3
votes
0answers
80 views

Classical parabolic theory (PDEs)

I am reading an articule(http://link.springer.com/content/pdf/10.1007%2Fs00028-010-0085-8.pdf) so I almost done but I dont understand the next argument is in the page 8 "It is known from the ...
3
votes
0answers
486 views

Short time existence on Hyperbolic Ricci flow in non-compact case

We know Laplace equation (elliptic equations) $ Δ u = 0$ Heat equation (parabolic equations) $u_t − Δu = 0$ Wave equation (hyperbolic equations) $u_{tt} − Δu = 0$ we have - Hyperbolic geometric ...
3
votes
0answers
225 views

Periodic orbits of Hamiltonian systems

Consider a second order Hamiltonian system of the type $$ \ddot{x}+V'(x)=0, \quad x \in \mathbb{R}^N. $$ Under very `natural assumptions' it is possible to prove the existence of a non constant ...
3
votes
0answers
359 views

PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field

Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases). Let $\nabla^{2}$ be the vector Laplacian. Let ...
3
votes
0answers
176 views

closure properties of q-differential equations

I am interested in q-differential equations of the form $p(f(z), f(qz),\dots,f(q^kz))=0$ where $p$ is a polynomial and $k$ an nonnegative integer. I wonder about the closure properties of the class ...
3
votes
0answers
817 views

(Approximate) analytic solutions to the Mathieu equation

I'm trying to solve the driven Mathieu equation $x''+\beta x'+(a-2q\cos{\Omega t})\frac{\Omega^2}{4}x=f(t)$ for both zero and non-zero $\beta$. I can write down an analytic solution using the ...
3
votes
0answers
337 views

Infinite System of Stochastic Ordinary Differential Equations Coupled by Infinite Graphs

$\ \ \ $ In Time Evolution of Infinite Anharmonic Systems, Lanford,Lebowitz and Lieb, roughly speaking, proved that for some families of functions $F_v$ $(v\in\mathbb Z^d)$ and a large set of initial ...
2
votes
0answers
59 views

Helmholtz equation Poynting vector integral

The Maxwell's equation for harmonic time dependent field in vacuum is \begin{align} \nabla \times B + i\omega E &= 0\\ \nabla \times E - i\omega B &= 0 \\ \nabla \cdot B &= 0 \\ \nabla ...
2
votes
0answers
62 views

Brouwer fixed points via flow

Let $B$ be a closed ball in $n$-dimensional space, let $f$ be a "sufficiently smooth" map from $B$ to $B$, and let $p$ be a point on the boundary of $B$. It seems to me that something like the ...
2
votes
0answers
77 views

Variant form of the gronwall inequality

I know the following statement for gronwall inequality: Given $f$ non negative and absolutely continuous on $[0;T]$ and $\phi \in L^1(0;T)$if we have, $f' \leq \phi f$ and $f(0)=0$ then $f=0$ Now is ...
2
votes
0answers
79 views

What transformations preserve the von Mises distribution?

The von Mises distribution is entirely defined on the circle with a density given by $$f(x) = (2\,\pi\, I_0(\kappa))^{-1} \exp(\kappa \cos(x-\mu))\ ,$$ where $x$ is in an arbitrary real interval of ...
2
votes
0answers
80 views

Diffusion equation on mixing of diffusing particles

I am trying to study mixing of diffusing particles like it was done by E. Ben-Naim On the Mixing of Diffusing Particles. The picture below shows the idea how permutations and inversion numbers reflect ...
2
votes
0answers
178 views

J-function of cotangent bundle of complete flag variety

Givental and Kim showed that the $J$-function of the complete flag variety $Fl_n=SL_{n}/B$ becomes an eigenfunction of the Toda Hamiltonian. How about the $J$-function of the cotangent bundle ...
2
votes
0answers
154 views

Scattering for rapidly decaying solutions of NLS

Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions of the Nonlinear Schrödinger Equation" the following property. Given the problem \begin{equation} \left\{ \begin{array}{rl} ...
2
votes
0answers
239 views

A question on “The weakened Hilbert 16th problem”

In this question we are interested in the number of limit cycles which appear in the following perturbational system: \begin{equation}\cases{ x'=y -x^{2}+\epsilon P(x,y) \\ y'=-x+\epsilon Q(x,y) } ...
2
votes
0answers
117 views

Solving ODE with negative expansion power series

I'm moving this here, as suggested from physics.stackexchange. The original is here. So, I need to solve a system of ODE, using negative power expansion. I will give all the necessary equations and ...
2
votes
0answers
129 views

A natural tower of bundles over Grassmannian manifolds

There is a well-known exact sequence of vector bundles $$ 0\to U\to T\to N\to 0 $$ over a Grassmannian manifold $Gr(V,n)$: the fibers over $L\in Gr(V,n)$ are, respectively, $L$ itself, the whole $V$ ...
2
votes
0answers
101 views

How to find solutions of non-linear ODE with particular BCs

What are some methods, numerical or otherwise, of finding solutions to nonlinear ODEs that satisfy particular boundary conditions? In particular, I'm looking for curves y(s) constrained to a ...
2
votes
0answers
154 views

Differential Equations vs Difference Equations

My question is: Is there a duality between a solution of an ODE,PDE,SDE or integral equations with their analog counterpart in the discrete domain? I mean if I know a solution to the difference ...
2
votes
0answers
71 views

Rotation number of perturbated equation

I have a differential equation on torus $(t,x)$ and well studied it's Arnold tongues for Poincare map of the circle $x(t=0) \to x(t=2\pi)$. The question is how changes rotation number when I add small ...
2
votes
0answers
139 views

Critical case linear autonomous functional differential equation

I am looking for asymptotic ($t\to\infty$) behavior of the general solution $g(t)$ to a following linear functional differential equation $$ \text{(1)} \quad\quad\quad g'(t)-g'(t-T)=-g(t) $$ with ...
2
votes
0answers
485 views

Problem using finite difference to solve a initial value problem

Hallo, I tried to use 'finite difference' method to solve a Initial Value Problem(IVP). For the two boundaries I used periodical condtion and for the differential operators I used 4th degree center ...
2
votes
0answers
344 views

L^1-convergence of convolution exponential

Consider a differential equation \begin{eqnarray*} \frac{d}{d\tau}q^{\tau}\left(x\right)=Aq^{\tau}\left(x\right)+h\star q^{\tau}=Aq^{\tau}\left(x\right)+\int ...
2
votes
0answers
393 views

Optimal transport warping implementation in Matlab

I am implementing the paper "Optimal Mass Transport for Registration and Warping", my goal being to put it online as I just cannot find any eulerian mass transportation code online and this would be ...
2
votes
0answers
304 views

Partial feedback linearization (Control theory)

Greetings, I'm trying to understand a theorem about partial feedback linearization from a paper "On the largest feedback linearizable subsystem" by R.Marino (you can find it here: ...
2
votes
0answers
703 views

Bessel functions in wave propagation and scattering

Is there a way to scale Bessel J(n,.) (Bessel of first kind) and Bessel H(n,.) (Bessel of third kind or Hankel)? I am having computer problems with higher orders (higher vlaues of n) and small ...
2
votes
0answers
262 views

A free boundary problem by finite difference method

I wanna discretize the following free boundary problem Find $u$ and $\Omega$ such that $\Delta u=1-\delta_0$ in $\Omega$ with the conditions $u=|\nabla u|=0$ on $\partial \Omega$. I apply finite ...
2
votes
0answers
259 views

General solutions for HJB equations in a special case.

I am reading the book of Wendell Flemming in control theorem to learn the HJB equation Here is the setting that interests me: Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ functions such that ...
2
votes
0answers
286 views

Vanishing solution of the Poisson equation at infinity

Hi, I am interested in finding some vanish bahavior at infinity of the solutions of this kind of equations: $-\Delta\phi+a(x)\phi=b(x)$ where $a(x), b(x)\in L^{p}$ with $1\leq p\leq 3$. Besides ...