# Questions tagged [differential-equations]

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

**22**

votes

**0**answers

439 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 ...

**21**

votes

**0**answers

494 views

### What is a Green's function in the language of $\mathcal{D}$-modules?

Let $P$ be an analytic linear differential operator defined on some open interval $X=(a,b)$ and $\mathcal{M}=\mathcal{D}_X / \mathcal{D}_X \bullet P$ the corresponding $\mathcal{D}$-module. I'm trying ...

**16**

votes

**0**answers

609 views

### Vector field built from connection and metric

Consider a smooth finite-dimensional manifold $M$ with metric $g$ and connection $\nabla$. For some local coordinate system, denote by $g^{\alpha \beta}$ the inverse of the metric tensor and by $\...

**15**

votes

**0**answers

2k 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 ...

**11**

votes

**0**answers

169 views

### Galois groups of classical differential equations

I am currently on the lookout for good motivational examples for differential Galois theory, and I was wondering the following:
Is there a book or article devoted (either partially or completely) to ...

**10**

votes

**0**answers

270 views

### Is the $\hat{A}$-genus invariant under crepant birational maps between smooth algebraic varieties?

The degree of the Todd class of the tangent bundle of a variety $Y$ gives the holomorphic genus of $Y$, which is a birational invariant. We also know that the $\hat{A}$-roof of a smooth variety $Y$ ...

**10**

votes

**0**answers

412 views

### Witt's proof of Gelfand-Mazur / Ostrowski's Theorem

Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...

**10**

votes

**0**answers

240 views

### Is there a classification of differential equations over the field of fractions of formal power series? (characteristic 0)

Let $k$ be an algebraically closed field of characteristic 0. Consider the field of fractions of formal power series $K:= Frac(k[[T_1,...,T_n]])$. We have the corresponding algebra of differential ...

**9**

votes

**0**answers

323 views

### Algebraic geometry and PDEs (reference-request)

Context: Let's say we have an affine algebraic variety corresponding to the zero set of an irreducible polynomial (over $\mathbb{C}$) in $n$ variables, denoted by $p(x_1, \dots, x_n)$. $$p(x_1, \dots, ...

**8**

votes

**0**answers

112 views

### An upper bound for the solution of an integro-differential equation

For those who are interested in "motivations" this has something to do with modeling flames in turbulent jets. However the question itself is irritatingly elementary and requires no mathematical or ...

**8**

votes

**0**answers

257 views

### Mass Transportation Through Wonderful Roller

There is a wonderful roller that transports mass from A to B and there is a pile of sand with weight $W$ in point A and we want to transport it to B.
Wonderfulness of roller comes from this property ...

**8**

votes

**0**answers

567 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 Picard-...

**7**

votes

**0**answers

205 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:
$$\frac{d}{dt}a_k=2(b_k^2-b_{k-1}^2),$$
...

**7**

votes

**0**answers

1k views

### 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 ...

**7**

votes

**0**answers

368 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 ...

**7**

votes

**0**answers

198 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}, \delta_{...

**6**

votes

**0**answers

119 views

### Conditions to the existence of periodic orbits of non vanishing vector fields on $\mathbb{T}^2$

I'm doing a research about Filippov systems on $\mathbb{S}^3$ with discontinuities on $\displaystyle\frac{1}{\sqrt{2}}\cdot\mathbb{T^2} =\left\{\displaystyle\frac{1}{\sqrt{2}}x ; \ x \in \mathbb{S}^1\...

**6**

votes

**0**answers

117 views

### Geometric interpretation of energy-momentum tensor and Lagrangian associated to a soliton equation

I have a question for you.
BACKGROUND
Consider an immersion $F\,:\;\mathscr S\;\longrightarrow\;\mathbb E^3$ of a surface $\mathscr S$ in the $3$-D euclidean plane $\mathbb E^3$ with canonical ...

**6**

votes

**0**answers

315 views

### Had this theorem in Tresser's article been proven somewhere?

The article in question is About Some Theorems by L.P. Sil'nikov by Charles Tresser. I am interested in the theorem C from page 453 and a particular application of such theorem which is illustrated ...

**6**

votes

**0**answers

266 views

### Nonzero solutions to the functional ODE $f'(x)=f(f(x))$

Does $\frac{df}{dx}=f(f(x))$ have nonzero solutions? And if so, what analytic/numerical methods can be used to characterize them?

**6**

votes

**0**answers

617 views

### Grothendieck problem

Could you suggest me a book or a link where I can find some information about the Grothendieck problem about differential equations?
The Grothendieck problem that I am reffering to is the following: ...

**6**

votes

**0**answers

181 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

**0**answers

1k views

### The Perturbation of Non Hamiltonian algebraic Vector fields

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) }
\...

**6**

votes

**0**answers

117 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

**0**answers

465 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

**0**answers

102 views

### Algebraic independence of limit cycles of Lienard equation

It is well known that the Van der Pol equation $$\begin{cases} \dot x=y-(x^3-x)\\\dot y=-x \end{cases}$$ has no an algebraic limit cycle.
According to this fact, we search for a related ...

**5**

votes

**0**answers

107 views

### A finiteness question for integrable polynomial distributions on $\mathbb{R}^3$

This question is motivated by the finitness of limit cycles for polynomial vector fields on $\mathbb{R}^2$
Assume that $X,Y$ are two independent polynomial vector fields on $\mathbb{R}^{3}$ such ...

**5**

votes

**0**answers

184 views

### Is there a Lie II theorem for monoids?

Lie's second theorem says that if $G$ is a connected simply connected Lie group with Lie algebra $\mathfrak g$, then the functor of "differentiation" from the category $\mathrm{Rep}^f(G)$ of finite-...

**5**

votes

**0**answers

155 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

**0**answers

230 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

**0**answers

187 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} ...

**4**

votes

**0**answers

112 views

### Weighted reverse Poincare inequality over a function class of neural networks

We consider a probability measure supported on the whole space $\mathbb{R}^n$, whose density is $p(x)$. We also consider a (one-layer) neural network function class $\mathcal{C}$, whose elements have ...

**4**

votes

**0**answers

66 views

### Orthonormal Basis of Multi-Dimensional Sobolev Space of Different Orders without Reproducing Kernel

Let $\Omega$ be an open subset of $\mathbb{R}^d$. Under regularity conditions, we know that the $s$-th order Sobolev space $H^s(\Omega)$ with $s \geq d/2$ is a reproducing kernel Hilbert space. In ...

**4**

votes

**0**answers

262 views

### Spectral Gap of Elliptic Operator

Under what conditions on $a(x)$ and domain $D$, the spectral gap of the elliptic operator $ \nabla \cdot(a(x)\cdot \nabla)$ defined on $D$, can be controlled?
The boundary condition is that the ...

**4**

votes

**0**answers

104 views

### An embedding question: Morrey spaces

Question. If $u\in L^1$ and $Du$ is in the dual of the Holder space $C^\alpha$, then is it possible to say $u$ belongs to some Morrey space $L^{1, \delta}$?

**4**

votes

**0**answers

286 views

### On modified Bessel solutions to complex ODE's using Kummer's series

I am trying to reduce the following ODE to Bessel's ODE form and hence solve it:
$$x^{2}y''(x)+x(4x^{3}-3)y'(x)+(4x^{8}-5x^{2}+3)y(x)=0\tag{1} \, .$$
I tried to solve it via the standard method, i.e.,...

**4**

votes

**0**answers

189 views

### Does the divergent solution of this equation :$f'=e^{f^{-1}}$ of Gevrey type and could be Borel summation applied for it?

This question was asked here in MO by someone seeking for the solution of the functional -differential:$f'=e^{f^{-1}}$ not exactly an O.D.E, and again here seeking for the growth rate of it solution ...

**4**

votes

**0**answers

127 views

### Symmetry-finding with SAGE?

On pp. 152-3 of Hydon's Symmetry Methods for Differential Equations (2000 ed.), he lists some computer packages for symmetry-finding. This related Mathematica StackExchange question mentions the SYM ...

**4**

votes

**0**answers

77 views

### Dynamics of pairwise distances in the $n$-body problem

Disclaimer: I have asked this question on Physics SE a week ago, but got no answers. I know that some MO users are interested in the $n$-body problem, so I decided to cross post here as well.
...

**4**

votes

**0**answers

124 views

### Connection between cardiac equations and untangling knots?

I was surprised to learn that there is (conjecturally) a connection between a cardiac muscle model known as the FitzHugh-Nagumo equations, and untangling knots:
Maucher, Fabian, and Paul Sutcliffe. ...

**4**

votes

**0**answers

155 views

### A question about Carleman linearization

Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻²
Let $f$ be ...

**4**

votes

**0**answers

562 views

### Models used for the Zika virus?

I am currently teaching an ordinary differential equations course, and am thinking about doing a module on infectious disease models, e.g. SIR/SIRS. I thought, if possible, it would be nice to ...

**4**

votes

**0**answers

122 views

### Does there exist duality/symmetry between Fuchsian differential equations, like in the case of confluent hypergeometric?

My question is about whether certain dualities or symmetries hold between pairs of Fuchsian differential equations, but I need to give a bit of background to explain what I want to ask. Thank you for ...

**4**

votes

**0**answers

183 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 G''(x)=&\mathscr{...

**4**

votes

**0**answers

407 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}
...

**4**

votes

**0**answers

301 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

**0**answers

120 views

### Solutions to $w_x=CA_x$, $w_y=CA_y$ other than $w=f(A)$ and $C=f'(A)$?

Let $R \in \{\mathbb{C}[t^2,t^3], \mathbb{Z}[\sqrt{5}]\}$,
and let $A=A(x,y) \in R[x,y]$ with $\deg(A) \geq 1$ (total degree).
I wish to prove or find a counterexample to the following claim:
If ...

**3**

votes

**0**answers

59 views

### Limits of a simple damped system

Definition: Let $F_n(s) = \frac{1}{s^{n+1}(1+s)^n}$ be the Laplace transform of $f_n(t)$.
Required Result: To show $\lim_{n\rightarrow\infty}f_n(n+n/e) < o(n)$.
Ideas:
Let $G_n(s)=\frac{1}{s^{n+...

**3**

votes

**0**answers

67 views

### Parametrix of external product of elliptic operators

Let $S$ and $T$ be Dirac-type operators on vector bundles $E\rightarrow M$ and $F\rightarrow N$ respectively, where $M$ and $N$ are manifolds. Suppose $Q_S$ and $Q_T$ are parametrices for $S$ and $T$. ...

**3**

votes

**0**answers

99 views

### If the sum of everywhere linearly independent vector fields are periodic, are the component vector fields periodic?

I feel like the above must be true but embarrassingly cannot seem to prove it. Take linearly independent, commuting vector fields $X$ and $Y$ on a manifold and corresponding flows $\Phi^t_X$, $\Phi^...