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

69
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 ...
19
votes
0answers
289 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
861 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 ...
14
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
265 views

Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms \begin{align*} ...
7
votes
0answers
134 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
234 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
6
votes
0answers
137 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: ...
6
votes
0answers
148 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
268 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
100 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
574 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) } ...
5
votes
0answers
94 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
195 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
278 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
306 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
328 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
417 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
392 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
166 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
52 views

Lorenz attractor power spectrum

If considered Lorenz attractor (with classical parameters $\sigma = 10, b = \frac{8}{3},r>25$), it is often noted, that while the spectral density (Fourier transformation of corresponding ...
3
votes
0answers
126 views

System of linear ODEs with hypergeometric coefficients

For quite some time I have been trying to solve the following system of differential equations for the two functions $G$ and $H$ defined on the interval $[0,1]$: $$ \begin{align}x ...
3
votes
0answers
134 views

A special non vanishing vector field on $S^{3}$

Is there a non vanishing vector field on $S^{3}$ with an infinite family $T_{\lambda}$ of invariant torus such that each $T_{\lambda}$ has an structure of a Kronecker foliation but for ...
3
votes
0answers
105 views

Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$. Then we know that the eigenvalues of $-\Delta$ form an ...
3
votes
0answers
85 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 ...
3
votes
0answers
72 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
118 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
107 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
219 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
84 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
491 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
230 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
361 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
846 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
88 views

“simulteneous eigenvectors” under the full set of weighted Laplacians on a $g$-fold product of the Poincare half plane

This question is closely related to the following MO question Characterizing the real analytic Eisenstein series Let $\mathfrak{h}=\{z=x+iy\in\mathbf{C}\}$ be the Poincare upper half plane endowed ...
2
votes
0answers
102 views

A (different) foliation arising from Hopf fibration

In this question, first we fix an isomorphism between $TS^{3}$ and $S^{3}\times \mathbb{R}^{3}$.(To be more precise we consider the global trivialization of $TS^{3}$ with help of $3$ global ...
2
votes
0answers
84 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
403 views
+50

The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
2
votes
0answers
83 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
204 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
168 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
133 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
135 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
104 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
185 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
76 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
141 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
538 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 ...