All Questions
1,304 questions
3
votes
1
answer
354
views
Solvability for constant-coefficient partial differential operators
Let $\mathcal{S}$ denote the space of Schwartz functions on $\mathbb{R}^n$, and $\mathcal{S}'$ the space of tempered distributions. Let $L$ denote a linear, constant-coefficient, partial differential ...
- 16.2k
1
vote
0
answers
205
views
Looking for higher order Sobolev inequality
Hello,
On a compact (without boundary) Riemannian manifold (eg. some surface in $\mathbb{R}^n$), I'm looking for a result like
$$\lVert \nabla u\rVert_{L^2}^2 \leq \epsilon\lVert u\rVert_{H^1}^2+\...
- 29
1
vote
1
answer
479
views
Existence of solution for this parabolic PDE
The parabolic PDE
$$\langle u', v \rangle + a(u,v) = \langle f, v \rangle$$
has a unique solution $u \in L^2(0,T; H^1)$ with $u' \in L^2(0,T;H^{-1})$ if $a$ is a bounded and coercive bilinear form (...
CommunityBot
- 1
2
votes
2
answers
326
views
Are $\lVert \Delta u \rVert_{L^2(S)}$ and $\lVert u \rVert_{H^2(S)}$ equivalent norms on a compact manifold?
Hi,
I am looking for the result:
$$\text{The norm} \quad \lVert \Delta u \rVert_{L^2(S)} \quad \text{is equivalent to} \quad \lVert u \rVert_{H^2(S)}$$
for scalar functions $u \in H^2(S)$, where $S$ ...
- 555
1
vote
1
answer
1k
views
weak derivative and continuous function
Let $\Omega \subset \mathbb{R}^n$ be a compact smooth hypersurface. Suppose $\varphi \in C_c^\infty(0,T; H^1(\Omega))$ is a $H^1(\Omega)$-valued test function (so $\varphi(t) \in H^1(\Omega)$ for each ...
CommunityBot
- 1
1
vote
2
answers
847
views
Fourier transform of function on compact set and Sobolev norm equivalence
Hi all. My question on M.SE is unanswered (https://math.stackexchange.com/questions/254970/fourier-transform-of-function-defined-on-subset-of-mathbbrn) so I want to post it here. I changed it slightly....
CommunityBot
- 1
5
votes
1
answer
660
views
Hormander's bracket condition for the adjoint of an operator
Let $X_0, X_1, \dots, X_k$ be smooth vector fields over ${\mathbb R}^n$, and let us consider the operator
$$
L = \sum_{i=1}^k X_i^2 + X_0~.
$$
Here, I assume that Hörmander's bracket condition is ...
CommunityBot
- 1
0
votes
1
answer
1k
views
Showing a coercivity condition for this bilinear form
Suppose $\Omega \subset \mathbb{R}^n$ is a compact domain. Let $f$ and $J$ (and also $\frac 1J$) be $C^1$ functions on $\Omega$. Consider the bilinear form $a:H^1(\Omega) \times H^1(\Omega) \to \...
- 882
2
votes
1
answer
267
views
Fourier transform and spectrum of PDOs in $L^p$
Let $K$ be a compact subset in $\mathbb{R}^n$ with $m(K)=0$, Suppose $supp\hat{u}\subset K$ for some $u\in L^p$,where $2\leq p\leq \frac{2n}{n-1}$,can we get $u\equiv 0$ ?
Motivation: If $K$ is a ...
- 91.8k
1
vote
2
answers
522
views
Variational problems whose lagrangian density depends on derivatives higher than 1.
The usual theory of calculus of variations, as far as I know, is concerned with lagrangian densities which depend on the function and its gradient, namely we try to minimise $\int L(Dw,w,x) dx$. ...
- 27.5k
1
vote
1
answer
3k
views
The conormal derivative of a function
Hi!
I was wondering about the definition of the conormal derivative of a function
$u$ which is given on a domain $\Omega$. It is known that if $-\Delta u = f$, considered
as functionals on $H^1_0(\...
- 3,388
2
votes
1
answer
253
views
A question on Schwartz distributions
I have a question on the tempered distributions, namely, continous functionals on Schwartz class endowed with the weak* topology. Is is a Barreled space, say, a space whose convex, balanced, ...
- 16.4k
0
votes
1
answer
488
views
Discrete Sobolev space of $R^n$ valued maps
Can some one tell me the reference or any idea how to take the Discrete Sobolev space work defined for a scalar valued map to the space of maps which are vector valued.Let's say
$f:\Omega \...
- 3,388
1
vote
1
answer
1k
views
Almost analytic continuation
Let $f\in S^{\alpha}$ for some $\alpha \in \mathbb{R}$(which means that f is smooth and satisfies $|D^{\beta}f|\leq C(1+|x|)^{\alpha-\beta}$),a function $\tilde{f}$ on $\mathbb{C}$ is called an almost ...
- 21
0
votes
1
answer
142
views
A special Integral Kernel
Does there exist either one / general class of non-negative definite , symmetric Integral Kernel map satisfying the following properties ??
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$
$K:L^2(\...
- 16.2k
3
votes
1
answer
678
views
Is this kernel space of finite dimension ?
Assume that $P \in \Psi^{m}(X)$ (X is a $C^{\infty}$ manifold)is properly supported and has a real principal part p which is homogeneous of degree m.I'm interested in the existence theorem(at least ...
- 16.4k
1
vote
1
answer
2k
views
Basic questions about parabolic Holder space
Hi, I am interested in learning a bit more about this space. I have exhausted all the books available at my disposal, and none of them explain much of the basics for me. Here's a definition of this ...
CommunityBot
- 1
2
votes
2
answers
470
views
Linear coupled parabolic PDE system with Holder continuous coefficients
I am interested in proving existence/uniqueness to: find $u(x,t)$, $v(x,t)$ such that
$$u_t - a_1u_{xx} - a_2u_x - a_3u -a_4v = f$$
$$v_t - a_5u_{xx} - a_6u_x - a_7u - a_8v_{xx} - a_9v_x - a_{10}v = g$...
- 16.2k
3
votes
1
answer
949
views
ODE continuous dependence on parameters to PDE
I want to learn how to apply certain ODE theory to PDE. If we have a Banach space ODE $$x'(t) = f(t, x(t), p),$$ $$x(0) = x_0$$ where the equation is over same domain $t \in (a,b)$, then via the ...
- 3,322
1
vote
1
answer
3k
views
How to show this Holder bound?
Define the seminorm on the space $S=[0,1]\times[0,T]$
$$\mid u\mid_{\alpha} = \sup\frac{|u(x, t) - u(y,s)|}{(|x-y|^2 + |t-s|)^{\frac{\alpha}{2}}}.$$
Define the norms on the same space
$$\lVert u \...
- 3,968
2
votes
1
answer
687
views
Solutions to Heat Equations with Obstacles!
Consider a closed Riemannian manifold $(M,g)$ and a positive function $\psi: M \to R$. Fix a point $p \in M$, I have been struggling to construct a solution to the heat equation, $\partial_t u = \...
- 3,322
3
votes
1
answer
3k
views
Solving Functional Equation
Continue with my previous question “Regarding Kolmogorov's Superposition Theorem”, here are some further questions:
Question-1
Is it true: for any given $C^1$ continuous real function $f(x, y): \Re^2 ...
CommunityBot
- 1
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
- 34.7k
2
votes
1
answer
303
views
Proper sobolev spaces invariant under no-linearities
Let $f:H^s\to H^s$ at least continuous and not necesarily linear. Is there some kind of criterion or condition over $f$ that lets to ensure that $f({H^{s+k}})\subseteq H^{s+k}$?
CommunityBot
- 1
1
vote
0
answers
125
views
base change for distributions
For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
- 2,649
22
votes
1
answer
4k
views
Image of the trace operator
It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
- 39.1k
2
votes
1
answer
624
views
The perturbed KdV Equation
I'm now studying KdV Equation$$u_t-6uu_x+u_{xxx}=0$$To solve the initial-value problem,we can use method of Lax pair,so we can alter the original problem to the problem of solving out $u$ in the ...
CommunityBot
- 1
4
votes
2
answers
644
views
Does there exists a necessary condition for Lp multiplier?
Let $1 \leq p \leq 2$. A measurable function $m(\xi)$ is called a $L^p(R^n)$ ($L^p$ for convenience) multiplier, if $$\|m(D)\varphi\|/\|\varphi\|_{L^p} \leq C , \varphi \in L^p
$$ for some constant $C$...
- 90
0
votes
0
answers
606
views
partial differential equations with mixed boundary conditions
hi,
does anyone know some good references (books, papers) on partial differential equations with mixed boundary conditions ?
actually I am intrested in the following: Let $f(x)=(f_{1}(x),...,f_{n}(...
- 39.1k
1
vote
2
answers
409
views
Does these commutator estimates bound in $L^{2}$
According to the basic rules of symbolic caculus,$[a(x,D),x_{j}]=-ia^{j}[x,D]$.So we have $[(1-\triangle)^{\frac{1}{2}},x_i]=\partial_i(1-\triangle)^{-\frac{1}{2}}$ which is $L^2$ bounded.
It's also ...
- 1,644
2
votes
0
answers
176
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
- 2,222
1
vote
0
answers
202
views
Weak solution of a certain pde with integral term
Let us consider the following pde on the domain $(0,T)\times(0,1)$
$
\dot{p}(t,x)+v(t)p_{x}(t,x)+v'(t)\int_{0}^{1} \rho(t,s)p_{s}(t,s)\ ds=0
$
with initial data $p(0,x)=p_{0}(x)$ and boundary data $...
- 11
12
votes
2
answers
878
views
The ground state is signed and symmetric
Background
In Berestycki and Lions it is asserted that (on page 316), if I am not misreading, that the "ground state", i.e. action minimizer among nontrivial solutions, corresponding to the action
$$...
- 39.1k
3
votes
0
answers
217
views
Is this integral operator about Stokes' Flow compact?
Consider the following integral operator $\mathcal{A}$ on [EDITED: continuous vector function $f=(f_i):\partial S\to{\mathbb R}^3$]:
$$
({\mathcal A}f)_j(x_0):=\int_{\partial S}\sum_{i=1}^3 f_i(x)G_{...
CommunityBot
- 1
2
votes
0
answers
242
views
Core of divergence form operator with unbounded coefficient
Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of
$$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$.
I also assume that $a(x)...
- 617
1
vote
1
answer
244
views
Oscillatory integral decay & sublevel set growth
I am trying to understand how estimates on sublevel integrals imply estimates on oscillatory integrals. Specifically in this article by M. Greenblatt it says on page 7:
By well-known methods ...
- 96.4k
4
votes
2
answers
1k
views
Reference for Neumann-Laplacian
Let $\Omega\subset R^d$ be a bounded, smooth domain. Consider $A=-\Delta$ subject to homogeneous Neumann boundary conditions in $L^p$-spaces. Does anybody know a good reference book on basic results ...
- 4,729
4
votes
1
answer
471
views
Embeddings for spaces of maximal regularity
Let $T\in(0,\infty)$ and $\Omega\subset\mathbb R^n$ be a smooth domain. In terms of maximal regularity it can be very beneficial to know for which $s_i,p,n$ the following holds true
$W^{s_1,p}(0,T;L^...
- 316
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
3
votes
1
answer
1k
views
Long time behavior of the heat equation on R
Let $\mu\in\mathcal{S}'(R)$ be a Schwartz distribution. The solution of a heat equation with $\mu$ as the initial data is
$$
u(t,x)= \int_R \frac{e^{-\frac{(x-y)^2}{2t}}}{\sqrt{2\pi t}} \mu(d y)
$$
...
- 2,715
3
votes
0
answers
498
views
PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field
Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases).
Let $\nabla^{2}$ be the vector Laplacian. Let $<\cdot,...
- 800
-2
votes
1
answer
3k
views
Separability of continuous functions with compact support [closed]
Hi,
is the space $C_0(\mathbb{R}^m)$, $m \in \mathbb{N}$ of continuous functions with compact support separable? If yes: where can I find a proof for that?
Please note: this is not a duplicate of ...
CommunityBot
- 1
1
vote
1
answer
630
views
Stuck on a convergence argument in $H_0^1(\Omega)$.
I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma.
However I've encountered this step along the way which seems clear to me ...
3
votes
2
answers
642
views
Localization of Laplacian eigenfunction on the unit square?
Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
- 13k
0
votes
1
answer
643
views
Is this (interpolation) inequality right?
Suppose that $\Omega$ is a bounded domain in $\mathbb{R}^3$, $F$ is bounded in $L^\infty (\Omega \times (0,T))\cap (\cap_{k=1}^\infty L^{5/3}(0,T;C^k(\bar{\Omega})))$.
Question: Can we say that $F$ ...
- 3,584
9
votes
1
answer
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 61.9k
7
votes
1
answer
2k
views
A good reference for the wave front set
Hello,
I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...
- 5,293
0
votes
2
answers
2k
views
fundamental solution of radial wave equation
i am trying to find resources on the derivation of the fundamental solution to the radial wave equation. any suggestions of or links to books, papers, and/or notes would be much appreciated. i have ...
CommunityBot
- 1
4
votes
2
answers
2k
views
Inclusions of $C^{k,\alpha}$ spaces
When is $C^{k,\alpha}(\bar{\Omega})$ a
subset of
$C^{k',\alpha'}(\bar{\Omega})$?
Gilbarg and Trudinger says that "for the domains of interest in this work the inclusion will hold whenever $k + \...
- 153
4
votes
2
answers
1k
views
Trace space and Neumann boundary condition
In which sense is it possible to solve $\Delta u=0$, $\partial_\nu u=\phi$, for $\int\phi=0$ on a closed domain, say a ball $B^3\subset\mathbb R^3$?
For example would a $\phi\in L^p(\partial B^3)$, $...
- 52.3k