# Questions tagged [differential-equations]

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

379
questions with no upvoted or accepted answers

**22**

votes

**0**answers

466 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

555 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

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

195 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

344 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

510 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

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

**10**

votes

**0**answers

487 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

214 views

### Structural Stability on Compact $2$-Manifolds with Boundary

I'm studying the structural stability of vector fields and I'm interested in learning about this phenomenon on compact $2$-manifolds with boundary.
Let $M^2$ be a compact connected 2-manifold and $\...

**8**

votes

**0**answers

259 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

604 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

158 views

### No intermediate denominators growth for holonomic functions?

My question concerns holonomic sequences of rational numbers, meaning assignments $a(n) : \mathbb{N} \to \mathbb{Q}$ fulfilling a linear recurrent relation of the form
$$
a(n+k) = \sum_{i=0}^{k-1} p_i(...

**7**

votes

**1**answer

687 views

### (In)stability of a two-dimensional dynamical system

Consider the following system of coupled differential equations
$$
\dot{x}_1(t) = -x_1(t) - \cos(\omega t)x_1(t) + \cos(\omega t)x_2(t), \ x_1(0)\in\mathbb{R},\\
\dot{x}_2(t) = -\gamma x_2(t) - \cos(\...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

411 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

200 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

228 views

### What is the right basis of solutions of the Picard-Fuchs equation of the Legendre family around 0?

I have been trying to reconstruct some elliptic curves theory computationally and have gotten stuck on some period computations.
Specifically, let $$E_\lambda:\ y^2=x(x-1)(x-\lambda)$$ be the ...

**6**

votes

**0**answers

138 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

321 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

285 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

669 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

188 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

131 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

505 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

99 views

### Uniqueness of solutions of Young differential equations

Consider the following one dimensional Young differential equation:
$$
Y_t=\int_0^t Y_s dX_s,\quad t\in[0,1].
$$
Here the driving process $X$ is a bounded functions $[0,1]\to\mathbb{R}$, which is $\...

**5**

votes

**0**answers

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

**5**

votes

**1**answer

552 views

### Conserved positive charge for a PDE

Let $(x,t) \in \mathbb{R}^2$ and consider the following partial differential equation for the real-valued function $U(x,t)$:
\begin{equation}
\frac{\partial^2 U}{\partial t^2} = - \frac{\hbar^2}{4m^2} ...

**5**

votes

**0**answers

120 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

147 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\...

**5**

votes

**0**answers

108 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

1k views

### What is the Beltrami differential?

Let $R,S$ be Riemann surfaces and $f: R \to S$ an orientation preserving diffeomorphism. Then $f$ determines what is called a Beltrami differential denoted by $\mu \frac{d\bar{z}}{dz}$.
Local ...

**5**

votes

**0**answers

198 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

161 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

231 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

189 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

33 views

### Results on: (path/initial condition)-dependent variant of exponential map generates compactly supported diffeomorphisms

Let $M$ be a connected and simply connected Riemannian manifold, non-compact, and suppose that $\{V_p\}_{p \in M}$ is a family of vector fields on $M$ indexed by $M$. Suppose moreover that the map
$$
...

**4**

votes

**0**answers

114 views

### Intrinsic numerical methods on Riemannian manifolds

I am interested in numerical methods for ordinary differential equations on a Riemannian manifold $M$. The general form of such an equation is $\dot x(t)=V(x(t)), x(0)=x_0 \in M$, where $V$ is a ...

**4**

votes

**0**answers

74 views

### Closed subgroup (Cartan) theorem without transversality nor Lipschitz condition within Banach algebras

Yesterday, I came across the following preliminary theorem.
Theorem Let $\mathcal{B}$ be a Banach algebra (with unit $e$) and $G$ be a closed subgroup
of $\mathcal{B}^{-1}$ (the group of ...

**4**

votes

**0**answers

160 views

### Equivalent definitions of differential operator

This puzzles me from some time and is in parts connected to the questions Symmetrized derivatives version and Symmetrized derivatives version II.
For me the linear DO between vector bundles $E$ and $...

**4**

votes

**0**answers

187 views

### Has this functor been studied?

Let $\mathbb{O}$ be the category where the objects are $n$-manifolds, and the morphisms are almost-everywhere smooth cobordisms along with almost-everywhere smooth partial differential equations on ...

**4**

votes

**0**answers

234 views

### An ODE argument of Hitchin

In [1] (p. 183, paragraph of Eq. 7.8), Hitchin makes an argument which I would summarize as follows.
Suppose that $A\in\mathfrak{u}(n)$ (a skew-Hermitian matrix) has distinct eigenvalues and let $S:...

**4**

votes

**0**answers

95 views

### Ricci flow on locally symmetric noncompact manifold

As it is mentioned by Deane Yang in Ricci flow preserves locally symmetry along the flow, we know the local symmetry is preserved under the Ricci flow on the compact manifold since we have the ...

**4**

votes

**0**answers

126 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

307 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

127 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

108 views

### Origins of the generalized shift operator exp(t*g(z)d/dz)

Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves ...

**4**

votes

**0**answers

91 views

### A criterion for a differential equation to be realized as an Euler-Lagrange equation on the infinite dimensional space

I study PDEs that arise in fluid dynamics in an infinite dimensional Riemannian geometric perspective. For example, Ebin-Marsden(1970) showed that the group of volume preserving diffeomorphisms has an ...

**4**

votes

**0**answers

336 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.,...