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

5
votes
1answer
175 views

Motzkin polynomials and enumeration of chord diagrams

On page 12 of the paper Enumeration of chord diagrams on many intervals and their non-orientable analogs" by Alexeev, Andersen, Penner, and Zograf is a list of polynomials which are a refinement of ...
1
vote
1answer
215 views

First order ODE from Michaelis–Menten kinetics

From Michaelis-Menten kinetics one could easily derive scalar first-order differential equation $$\frac{dx}{dy} = A_0 + A_1 x + A_2 y + B \frac{y}{x},$$ where $A_0, A_1, A_2, B$ are some constants, ...
5
votes
1answer
150 views

[This might be a easy question]: A possible trace (inequality) defined under negative Sobolev scale

I have a stupid question: Why is that not possible (if it is not) to define the trace of a function in a very weak regularity space $H^{-s}(\partial \Omega)$? We usually encounter trace theorem as ...
15
votes
1answer
866 views

Kontsevich's flow on the space of Poisson structures

In §5.3 of Kontsevich's Formality Conjecture he writes: This (...) gives a remarkable vector field on the space of bi-vector fields on $\mathbf{R}^d$. The evolution with respect to the time $t$ is ...
0
votes
0answers
76 views

Energy Oscillations in a One Dimensional Crystal

Good day! Can anyone help me find articles on similar topics "Energy Oscillations in a One Dimensional Crystal" (I have links to one article on this subject)? article, that I have Especially ...
11
votes
1answer
236 views

Does Peano's existence theorem admits a constructive proof?

$$y(t)=y_0+\int_0^t b(y(s))ds$$ $b\in C(R^d)\cap L^\infty(R^d)$ The classical proof for Peano's existence theorem in ODE need use the Ascoli's theorem, so it's not constructive. When $d=1$, in the ...
1
vote
1answer
180 views

Is regularity closed under products?

Let $G \colon [0,1] \to [0,1]$ be a differentiable cumulative distribution function (monotonically non-decreasing function with $G(0) = 0$ and $G(1) = 1$). We say that $G$ is regular if $$ x - \frac{1-...
3
votes
1answer
90 views

Bounds for smallest eigenvalue of Schrödinger equation with a superpotential and periodic boundary conditions

A very specific question, but posted on the off-chance that someone may be able to help. If we have a Schrödinger equation with arbitrary "superpotential" \begin{equation} -\frac{d^2 \psi}{dx^2} ...
4
votes
2answers
147 views

How to find an ODE with prescribed terminal values?

Let us consider an ODE $$\frac{dx_t^y}{dt}=g(x_t^y),$$ where y is the initial condition i.e. $x_0^y=y$. Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...
1
vote
1answer
117 views

Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE: $\frac{d U_t}{dt} = (a + w(t)b)U_t$ consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...
0
votes
1answer
135 views

Quadratic stability of linear time varying system

(This question was originally asked at Math.SE, where it didn't receive any answers.) Consider the linear time-varying system $$ \dot{x} = A(t) x, $$ where $x \in \mathbb{R}^n$ and $A: [0,+\infty) \...
1
vote
2answers
227 views

Nonlinear matrix differential equation

I want to solve the equilibrium of the following differential equation: $\dot{x_i} = \sum_j A_{ij} x_j + x_i \sum_j B_{ij}x_j$ which is essentiall in matrix notation: $\dot{\mathbf{x}} = A\mathbf{x}...
-1
votes
1answer
295 views

Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]

Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
8
votes
1answer
380 views

Two surfaces with zero gaussian curvature

There is classical result of Hartman and Nirenberg: Theorem. Every point of a $C^2$ surface of Gauss curvature zero has a neighborhood which admits a parameterization of the form $x=a(u)v+b(u)$ where ...
5
votes
0answers
141 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-...
1
vote
1answer
145 views

How to Separate Charpit Equations

I've been attempting to solve this non-linear PDE $$4\Omega x^2 y^2 \frac{\partial z}{\partial y} -x^2 y (\frac{\partial z}{\partial x})^2 + 2x^2 y^2 E-N^2=0$$ using Charpit's method. The ...
3
votes
0answers
94 views

Motivation for the existence of periodic solutions [closed]

I have been reading the book Critical Point Theory and Hamiltonian System by Mawhin and Willem, as well as several other papers on the existence of periodic solutions for equations of the form $$\ddot{...
10
votes
3answers
603 views

Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...
0
votes
0answers
70 views

smoothness of green's function in wave equation

I have a linear acoustic wave propagation originated from a monopole source, written as \begin{align} \mathcal{L}p(\mathbf{x},t) = S_m(\mathbf{x},t), \quad \mbox{in } \Omega \end{align} where the ...
2
votes
1answer
151 views

acoustic dipole volume integral w/ dirac delta?

I have an acoustic research problem that leads to the following integral formulation: \begin{align} \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}p(\mathbf{y},\tau)\frac{\partial}{\partial y_i}\left(...
33
votes
2answers
4k views

Why is differential Galois theory not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...
2
votes
0answers
60 views

About the space of function used in the harmonic extensions for elliptic problems involving the fractional laplacian

recently i am studying the following paper: A concave–convex elliptic problem involving the fractional Laplacian - C. Brandle, E. Colorado, A. de Pablo and U. Sánchez. At the Pgs 41, 42, the ...
7
votes
0answers
249 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 ...
1
vote
1answer
98 views

A differential inequality and a special value

Let $G \colon [0,1] \to [0,1]$ be a monotonically decreasing function with $G(0) = 1$ and $G(1) = 0$. Suppose that $G$ is differentiable infinitely many times, and that: $$G(x)G''(X) \leq 2{G'(x)}^2.$$...
5
votes
1answer
224 views

Are all rational exactly solvable differential equations known?

Are there known necessary and sufficient conditions that specify in terms of an algorithm in a real arithmetic model (where real operations, elementary functions, and comparisons are elementary steps) ...
1
vote
0answers
24 views

Solution to Helmholtz equation with non-circular boundary

Let $D$ be an homogeneous 2D domain with non-circular boundary $\partial D$. I am trying to solve the Helmholtz equation $$ \nabla^2 u(r, \varphi) + k^2 u(r, \varphi) = - f(r, \varphi) $$ in which ...
0
votes
0answers
125 views

Is the trivial solution the unique solution to the following initial value problem?

This question is a duplicate one asked by myself elsewhere. But there are no answers or comments so far. The initial value problem that I am considering is: $$ y'' (3y+2x)^2=3(3y'-1)(9yy' + 4xy' -y), ...
1
vote
1answer
114 views

Heat kernel for non bounded domains

consider a domain $U\subset \mathbb{R}^n$ which is not bounded and denote its boundary by $\partial U$. (The boundary I'm confronted with is actually not very irregular. Think of a smooth manifold ...
0
votes
0answers
87 views

Solution of non-linear Fredholm (Hammerstein) equation with non-degenerate kernel and reciprocal non-linearity

I have asked this question at MSE but got no response. I have rephrased it so that anyone who knows operator theory and integral equations could help me out... I faced a problem in physics which is a ...
1
vote
0answers
82 views

Uniqueness of analytic center manifold

In a book, i have read a remark which says that the center manifold of an equilibrium point of a differential equation is not unique in general but is unique in the class of analytic manifold. The ...
1
vote
1answer
109 views

Fundamental solution to the heat equation with zero boundary values

let $\Omega\subset M$ be an open and unbounded set in a smooth manifold $M$ with boundary $\partial \Omega$. Now let $p_t(x,y)$ be a non-negative fundamental solution to the heat equation on $\Omega$ ...
0
votes
0answers
54 views

Causal (Volterra type) differential equation with local Lipschitz condition

Consider the equation $$ u'(t) = (Fu)(t) $$ where $F \colon L^2(0,T;\mathbb R^n) \to L^2(0,T;\mathbb R^n)$ is a causal (Volterra type) nonlinear operator. It means that the value of $(Fu)(t_0)$ ...
2
votes
1answer
185 views

What are some good references on the Galois theory, factorization, or minimality of differential equations?

Let $\lambda$ be a nonzero complex number and let $u(x)$ be some smooth function $\mathbb{R}\to\mathbb{C}$, not identically zero. I want to prove that if $u$ satisfies $$u'' + \lambda u'+ \lambda^2 u =...
3
votes
0answers
101 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 ...
-1
votes
1answer
732 views

BDF2 and TR-BDF2: what is better? [closed]

What method of numerical solving ODEs is better? BDF2 or TR-BDF2? Namely, what advantages has TR-BDF2 over BDF2? Is TR-BDF2 more accurate? Does it damp "ringing" better? The BDF2 method requires the ...
12
votes
2answers
380 views

ODE properties true in finite dimension but not in Banach spaces of infinite dimension

Some properties of Ordinary Differential Equations - ODE are true in finite dimension spaces but not in Banach spaces of infinite dimension. The first one I know is the Peano existence theorem. I ...
0
votes
1answer
213 views

Implicit function theorem for elliptic partial differential equations

Consider the elliptic equation $-\Delta u=\alpha f(u)$ in $R^n$ and assume that for some $\alpha^* \in R$ it has a bounded smooth solution $u^*$ in $R^n$ ($f$ is a nice smooth function). Under what ...
4
votes
2answers
219 views

Examples of potentials for which Schrödinger equation lacks discrete points in continuous spectrum

In Landau, Lifshitz, "Quantum Mechanics, non-relativistic theory" in $\S18$ "The fundamental properties of Schrödinger's equation" the following is said about potential $U(x,y,z)$ in a footnote: ...
0
votes
2answers
679 views

General description of surface with zero gaussian curvature

Let suppose function $g(s,t)$ satisfies partial differential equations: $g_{ss} g_{tt} - g_{st}^2=0$. It may be treated as the surface has zero gaussian curvature. I am searching for general solution ...
0
votes
0answers
59 views

Shooting method for non-oscillatory solutions

I am having some trouble with using the shooting method : I am given a system of ode's representing initial value problem, and I know I want one of the unknowns (=u) to vanish at infinity (which I ...
2
votes
1answer
251 views

Uniqueness of backward heat equation on closed manifold with given initial data

Suppose we have a closed (compact without boundry) Riemannian manifold $(M,g)$, do we have uniqueness (assuming solutions exist on $[0,T]$ ) for the backward heat equation $$\frac{\partial f }{\...
1
vote
0answers
69 views

Finding a stochastic differential equation as limit of a discrete stochastic equation

I'm dealing with the following problem: Choose $Z_0 \in [0,1]$ and define a process governed by the following discrete stochastic equation: $Z_{k+1}-Z_k=P_k(1-2Z_k)$ where $P_k=0$ with probability $...
0
votes
1answer
185 views

How to solve this differential equation with an infinite sum?

I would like to find solutions of the following differential equation: $ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$ For example in space of function from $\mathbb R^*$ to $\mathbb ...
1
vote
0answers
148 views

Floquet-Bloch solutions of the quasiperiodic Schrödinger equation

I am concerned about the Schrödinger equation $-x''(t)+q(t)x(t)=Ex(t).$ Here, the potential $q$ is real and quasiperiodic with frequency vector $\omega$. That is, we let $T^d$ be the $d$-dimensional ...
1
vote
1answer
193 views

Vector fields whose divergence are proper maps

Let $X$ be a polynomial vector field of degree $2$ on $\mathbb{R}^{2}$. Does there exist a nonvanishing smooth function $g$ such that $Div(gX)$ is a proper map?Or at least the zero locus of $Div(...
-1
votes
1answer
77 views

Integrating factors and integrability of an ODE system

The following argument is from a paper about the Bendixson-Dulac Theorem. Consider a smooth differential equation on the plane $$ x'=g(x,y),\quad y'=h(x,y). $$ Suppose there exists a function $...
1
vote
0answers
86 views

Perturbation method of a boundary value problem

Let $u(x, \epsilon, \theta)$ be the solution of $$u''+(\epsilon \cos(x)+\theta-u)u=0$$ with boundary conditions $u'(0)=0$ and $u'(\pi)=0$. Here $\theta\in [0, 1]$. I tried to put the solution in ...
1
vote
0answers
78 views

Regularity of Schrödinger Resolvent

The following problem keeps bothering me: Let $H:=-\Delta+V$ be a Schrödinger-Operator in $\mathbb{R}^n$, where $V$ is a Kato-Potential of type $K_n$, which especially yields that $H$ is e.s.a. on $...
1
vote
2answers
93 views

Finding conditions to guarantee existence of solutions to IVP [closed]

Consider the following IVP: $x'=f(t,x)$ and $x(0)=x_0$, where $x\in \mathbb{R}^n$ and $t\in \mathbb{R}$. Suppose that for all $(t,x)\in\mathbb{R}^{n+1}$, $|f(t,x)|\leq b(t) |x|^2$. In order for the ...
0
votes
1answer
53 views

Solution of a second order nonlinear ode [closed]

I encountered the following ode in the attempt to solve the cauchy problem of Liouville equation. I have tried for a long time to give it a solution but failed. $(K e^f h + f'h'-2h'')^2=g^2((h')^2-\...