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

64
votes
0answers
4k 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
826 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 ...
16
votes
0answers
261 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 ...
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
120 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
88 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. $$ ...
6
votes
0answers
251 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
76 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
186 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
265 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
293 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
303 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
396 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
343 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
162 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
90 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
95 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
206 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
75 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
323 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 ...
3
votes
0answers
478 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
356 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
174 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
779 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
336 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
151 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
134 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
227 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
87 views

growth bound for solution of an ordinary integro-differential equation

I am considering the following ordinary integro-differential equation $$ A g = \sigma^2(y) + \int_\mathbb{R} \nu(y,dz) z^2 $$ where $$ A = b(y) \partial + \frac{1}{2} \sigma^2(y) \partial^2 + ...
2
votes
0answers
105 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
123 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
99 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
139 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
65 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
137 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
458 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
349 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
218 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 ...
2
votes
0answers
281 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
662 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
249 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
254 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
277 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 ...
2
votes
0answers
288 views

Transforming boundary conditions into initial conditions…

Hello Is there any methods available for transforming a 2nd order Boundary value problem such as $F\left(x,y,\frac{\text{dy}}{\text{dx}},\frac{d^2y}{\text{dx}^2}\right)=0$ $y(a)=y_0$ and ...
2
votes
0answers
154 views

Picard Fuchs and Lefschetz trace

In Clemen's book "A Scrapbook of Complex Curve Theory", he discusses in Chapter 2 how the infinite sum giving the period of the Legendre curve matches (mod p) the sum giving the number of points over ...
2
votes
0answers
285 views

Boundary behavior of Kähler cone with curvature restriction

Let $(M,\omega)$ be a compact Kähler manifold. The boundary behavior of Kähler cone is very interesting; however,it's hard to understand. A fundamental result is due to Demailly and Paun: they ...
1
vote
0answers
103 views

Reference request: has this semilinear version of Navier Stokes been studied?

I have noticed that the Navier Stokes equations can be written as a semilinear symmetric first order system $$ u_t+A_1u_{x_1}+A_2u_{x_2}+A_3u_{x_3} = f(u) $$ for a 9 by 1 vector $u$ containing the ...
1
vote
0answers
56 views

About the integral of the plurisubharmonic functions on the whole manifold

Let $(M,\omega)$ be a Kahler manifold with positive first Chern class. $\omega\in c_1(M)$ is a Kahler current. $D$ is a smooth simple divisor in $-K_M$. $s$ is a determining section of $D$. The ...
1
vote
0answers
67 views

Boundary gradient estimate

Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...
1
vote
0answers
48 views

Implementing boundary conditions to an ODE (involving elliptic integrals)

I am trying to solve the following differential equation: $$ \frac{\mathrm{d} f}{\mathrm{d} x} = \frac{x^2-2 a}{\sqrt{4k^2-(x^2-2 a)^2}}, $$ where $a$ and $k$ are constants ($k$ is known and $a$ is ...