Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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^...