All Questions
Tagged with differential-equations fa.functional-analysis
165 questions
3
votes
0
answers
108
views
A question on essentially self-adjoint differential operators of the type $\Delta=D^{\ast}D$
Let $(M,g)$ be a smooth (connected, complete, oriented) Riemannian manifold and let $D:C^{\infty}(M)\to C^{\infty}(M)$ be a linear partial differential operator, which I view as an operator in $L^{2}(...
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
2
votes
1
answer
255
views
Differential equation involving square root
I am absolutely not familiar with differential equations. However, I am facing the following differential equation:
\begin{equation}
a(x)y^{\prime}(x)+b(x)y(x)=c(x)\sqrt{y^{2}(x)+d(x)}
\end{equation}
...
5
votes
1
answer
375
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
2
votes
1
answer
86
views
Smoothness of resolvent of the infinitesimal generator of an Ito diffusion acting on bounded continuous function
Let $dX_t=\sigma(X_t)\,dW_t+\mu(X_t)\,dt$ be an Ito diffusion with Lipschitz coefficients and $\sigma(x)>0$. Let $f(x)$ be a continuous and bounded and non decreasing function. Can we prove that ...
3
votes
0
answers
124
views
Estimating a solution to Euler-type ODE #2
This is a similar question to this but with a different ODE.
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer, $R&...
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
8
votes
1
answer
537
views
Reference request: Expository paper on the use of functional analysis in differential and integral equations
Some textbooks on functional analysis do not hint that a major raison d'être of the subject is its use in the study of differential and integral equations. The reader could go all the way through ...
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
3
votes
1
answer
128
views
Fréchet-valued symbols
Denote by $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n \right)$ the usual space of symbols. Now let $E$ be a Fréchet Space. We can then define $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n; E \right)$...
6
votes
0
answers
219
views
Is the Taylor map continuous?
(Skip to the bolded theorem below for my question, if you'd like)
Some context on asymptotic expansions and the Taylor map
In the setting of irregular singularities of meromorphic connections on the ...
2
votes
0
answers
143
views
How to prove $\operatorname{Id}-K$ is a proper map when $K$ is a $C^1$ compact operator?
Assume $X$ is a Banach space, $\Omega \subseteq X$ is an open set, $K\in {C}^{1}( \overline{\Omega}, X)$ is a nonlinear compact map, Is $\operatorname{Id}-K$ a proper map? I think maybe it has ...
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
23
votes
5
answers
2k
views
PDEs and algebraic varieties
Let $P$ be an order $d$ differential operator with constant coefficients and consider a PDE of the form $Pf = \delta$. Taking the Fourier transform of $P$ we get a degree $d$ polynomial whose zero ...
6
votes
0
answers
201
views
Dependence of Neumann eigenvalues on the domain
I have the following problem in hands, in the context of a broader investigation:
Let $V\in L^{n/2}$ compactly supported, where $n\geq 3$ is the dimension. I want to prove the following:
For any $\...
2
votes
0
answers
126
views
Differential equations: trying to connect a nonlinear equation to a linear one
The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
1
vote
1
answer
2k
views
Product of Dirac delta function
The following equation may be meaningful, but how can we make it well-defined
$$\delta(x-a)\cdot\delta(x-b)=0$$
Question: How do we defined this equation? Or more broadly define product between ...
4
votes
0
answers
126
views
Darboux integral for non-polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_1,\dots,i_n=1}^d a_{i_1,\dots,i_n}^j x_1^{i_1}\dots x_n^{i_n} \quad \forall j=1,\ldots,n
$$
we define ...
1
vote
1
answer
197
views
Does convolution with heat kernel converge to pointwise evaluation?
Let $G(t, x) := \frac{1}{\sqrt{4 \pi t}} \exp\left( -\frac{x^2}{4 t }\right)$ for all $(t, x) \in (0, T) \times \mathbb{R}$ be the fundamental solution to the heat equation $\partial_tu = \partial_{...
2
votes
1
answer
139
views
Can a chaotic trajectory solve an algebraic equation?
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n$$
we ...
1
vote
0
answers
37
views
Unique smallest degree algebraic solution to polynomial ODE
Let's assume we are given a degree $d$ polynomial VF as a map $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$
$$f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a^j_{i_{1},\dots,i_{n}}x_{1}^{i_{1}}\dots x_{n}^{i_{n}}$$...
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
5
votes
1
answer
165
views
Algebraic solutions of polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n
...
1
vote
0
answers
89
views
Domain where the fractional Laplacian operator is a closed operator
Consider the fractional Laplacian defined by
$$(-\Delta)^s u(x) = P.V. \int_{\mathbb{R}^N} \frac{u(x) - u(y)}{|x - y|^{N + 2s}}dy, \ s \in (0,1).$$
Also consider that
$$D((-\Delta)^s) = \{u \in H^s(\...
3
votes
1
answer
209
views
Must solutions to the time-independent Schrodinger equation that have discrete or negative eigenvalues be square-integrable?
This is a very straightforward question (although the answer may not be!) about a ubiquitous textbook physics situation. I assume that the answer is probably well-known, but I asked it on both Math ...
4
votes
1
answer
134
views
Properties of the displacement field, assuming only smooth charge distribution and Gauss's theorem
In physics, the displacement field satisfies Gauss's theorem:
$$
\int_{\partial \Omega} {\bf D}\ {\bf n}\operatorname{d\!}S = \int_{\Omega} \rho\operatorname{d\!}V,
$$ where
$\Omega$ is a bounded ...
4
votes
1
answer
418
views
Periodicity and Burger's equation
Consider the 1-dimensional Burger's equation on a finite interval $I=(0,1)$,
$$u_t+uu_x=u_{xx}$$
with initial condition
$$u(x,0)=f(x)$$
and boundary conditions
$$u(0,t)=A(t) \qquad u(1,t)=B(t).$$
...
1
vote
0
answers
70
views
Continuity in the uniform operator topology of a map
I have a question concerning the continuity for $t>0$ in the uniform operator topology $L(X)$ of the following map: $$t\mapsto A^\alpha R(t)$$ where A is the infinitesimal generator of an analytic ...
1
vote
1
answer
103
views
Are there PDEs in which Hessian appears in the weak formulation
Before stating the question, I would like to first use an example for the type of formulation that I'm interested in.
Suppose we consider the continuity equation $\partial_t \rho + \mathrm{div}( \rho ...
2
votes
2
answers
290
views
Domain of Schrödinger operators
Let $S$ be a Schrödinger operator on $\mathbb{R}$, $Su=-u''+Vu$ with $V\geq1$ continuous and going to $+\infty$ at infinity (you can think of it as $x^2+1$). I wondering which assumptions do I have to ...
1
vote
0
answers
161
views
The norm of Sobolev space involving the time
Question. Is the following way of writing the norm of a Sobolev space involving the time correct? I would be grateful for any help.
Let's assume we have a function
$$
\mathbf{u} (\mathbf{x}; t) = \...
1
vote
0
answers
119
views
On some integral equation
Let $M$ be the set of continuous and increasing functions $h: [0,1)\to\mathbb R_+$ s.t. $h(0)=0$ and $h(1-)=+\infty$. Consider the equation as follows:
$$
1-t= \int\limits_0^\infty p(x)\Phi\left(\frac{...
0
votes
1
answer
73
views
A solution satisfying an integral inequality is bounded [closed]
Let $y$ be a positive function and $c>0$. If $y$ satisfies the following integral inequality
\begin{equation}
y(t)+\int_{0}^{t}y(s)ds\leq c_{1}\int_{0}^{t} y^{\frac{3}{2}}(s)ds+c_{2}
\end{equation}
...
0
votes
0
answers
137
views
Elliptic partial differential equations with Robin boundary condition and domain of fractional power of Robin Laplacian operator
This question has been posted on Mathematics Stack Exchange but got no response, and so I put it here.
When I read the paper "On the attractor for a semilinear wave equation with critical ...
3
votes
0
answers
99
views
Definition clarification: "regular directed distributions"
(I asked this question on math.stackexchange (see here) but didn't receive any reaction, hence I try it here. If it does not fit within here, just let me know in the comments.)
In the definition of ...
2
votes
0
answers
266
views
Compactness of a nonlinear operator
Let $H^{1}_{0}(0;\pi)=\{f\in L^{2}(0; \pi): f^{\prime}\in L^{2}(0; \pi)\ \text{and}\ f(0)=f(\pi)=0 \} .$ equipped with the following norm $$\|f\|=\Big(\int_{0}^{\pi}|f'(x)|^2dx \Big)^{\frac{1}{2}}$$
...
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
0
votes
0
answers
150
views
Prove or disprove the compactness of an operator
Consider $X=L^{2}(0,\pi, \mathbb{R})$.
Let $X_{\frac{1}{2}}$ be the domain of $(\Delta)^\frac{1}{2}$ where $\Delta$ is the laplacien operator.
We define the operator $K:C([0,a],X_{\frac{1}{2}})\...
6
votes
2
answers
1k
views
Exercise 8.13 - Brezis
Let $1 \leq p < \infty$ and $u \in W^{1,p}(\mathbb{R}$). Set
$$
D_{h}u(x) = \frac{1}{h}(u(x+h) - u(x)), \ \ x \in \mathbb{R}, h> 0
$$
Show that $D_{h}u \to u'$ in $L^{p}(\mathbb{R}$) as $h \to ...
4
votes
1
answer
343
views
Conditions for the existence of a solution to a semilinear second-order PDE with a-priori bounds
Consider the general semilinear elliptic second-order PDE
$$
u_t-\mathcal L u=f\left(t,x,u,\nabla u\right)
$$
where $\mathcal L$ is an elliptic linear operator (like minus the Laplace operator), $t \...
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
6
votes
2
answers
326
views
Looking for references to study $U^p$ and $V^p$ spaces
I am studying some papers in the analysis of nonlinear PDEs and I am encountering the $U^p$ and $V^p$ spaces for the first time. Where can I find references more detailed than papers?
Edited
The ...
1
vote
0
answers
97
views
Reference for unique classical solution to quasilinear uniformly parabolic PDEs
In this post, the author mentioned that "we know there is a unique classical solution (see the references below, for example)". I have tried to read the two references the author provided, ...
0
votes
0
answers
40
views
Time regularity of traces
I have a question about the time regularity of the traces in one dimension.
Suppose I have a function space $$X = C^1([0,T];L^2(0,1))\cap C([0,T],H^1(0,1))$$ and I define an operator $E$ on $X$ by $(...
2
votes
1
answer
94
views
Decay rate for a small perturbation of a simple linear ODE
MOTIVATION.
Let $f:[0,+\infty)\to \mathbb{R}$.
Solutions to $\partial_tf(t) = -\lambda f(t)$, $f(0)\neq 0$ approach zero exactly as $e^{-\lambda t}$.
This property is preserved if we apply an ...
6
votes
2
answers
347
views
Does there exist a framework for determining if a power series is "differentially algebraic"
It is a well studied problem to take a function $f$ expressed (usually expressed as a solution to a differential equation w/ some initial conditions) and ask if it has an "elementary closed form&...
3
votes
1
answer
391
views
Factoring higher-order differential operators
I have been researching various methods for solving differential equations. In particular, I want to better understand the factoring approach. For example, if we want to solve a general second order ...
5
votes
0
answers
419
views
Nonlinear variation of constants formula
Suppose that we wish to solve $x'(t)=f(x(t))+g(x(t)), \; x(0)=x_0\in X,$ where $X$ is an infinite dimensional Banach space and $f , g : X \rightarrow X $ are two nonlinear functions. Furthermore, ...
3
votes
1
answer
265
views
Convergence of the solutions of a ODE system
Consider this system of differential equations for $t\in[0,\infty)$:
$$ \frac{d}{dt}x(t) = a(t) + F(x(t), y(t)),$$
$$ \frac{d}{dt}y(t) = a(t) + G(x(t), y(t)),$$
with positive initial conditions: $y(0)&...