All Questions
1,304 questions
4
votes
2
answers
2k
views
Dirichlet energy of a harmonic function bounded above by the energy of the boundary function?
$\Omega$ is a domain in $R^2$ with sufficient smooth boundary. Given an absolutely continuous function f difined on $S^1$($[0,2\pi]$). Then there exists an unique harmonic function u defined on $\...
- 689
-1
votes
1
answer
152
views
Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )
Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2.
More generally, is it true that eigenfunctions ...
4
votes
1
answer
272
views
K-Theory of Algebra of Zeroth Order Pseudo differential operators
Any one knows a reference for computing K_0 of Algebra of zeroth order Pseudo's on a closed manifold in terms of explicit generators?
Thanx!
- 309
2
votes
1
answer
238
views
If $f \in H^{\frac 12}$ and $\varphi$ is Lipschitz, is $f\varphi \in H^{\frac 12}$ (on a Lipschitz hypersurface)?
Let $M$ be a bounded hypersurface. Let $f \in H^{\frac 12}(M)$ and let $\varphi\colon M \to \mathbb{R}$ be a Lipschitz function.
When $M=\Omega \subset \mathbb{R}^n$ an open domain, we know that the ...
- 307
2
votes
0
answers
127
views
slightly subcritical elliptic pde; the linearized equations
Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems
$$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...
- 539
5
votes
1
answer
2k
views
About Aubin-Lions Lemma
I have a question about Aubin-Lions Lemma, the standard Aubin-Lions lemma need those Banach Space be reflexive spaces, are there any version of Aubin-Lions without reflexivity?
Standard aubin-lions:...
- 103
1
vote
1
answer
193
views
If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?
Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain.
Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$
where $w'$ means the weak ...
- 307
3
votes
3
answers
378
views
Parametrised Hilbert spaces; can we put a norm on the following space of Hilbert spaces?
For each $s \in [0,\infty)$, let $H(s)$ be a Hilbert space. Let us suppose for simplicity that $H(s) = L^2(\Omega_s)$, where $\Omega_s$ is some nice domain that depends on $s$ in a nice way.
Define $...
- 85
3
votes
1
answer
217
views
What is the meaning of the operator $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]$?
The name of the operator $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]$ is one-parameter semigroup.
For example one writes $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\...
- 33
2
votes
0
answers
370
views
Subordination identity and heat operator
I was reading the so-called subordination identity that allows one to derive estimates on the Poisson operator $e^{-t\sqrt{-\Delta}}$ from estimates on the heat diffusion operator $e^{t\Delta}$. I am ...
- 21
2
votes
1
answer
4k
views
Precise versions of "differential operators are unbounded but closed linear operators"
I am trying to understand to what extent the following result of Hille is an extension of the usual theorems on differentiation under the integral sign.
Theorem (Hille). Let $(\Omega,\Sigma,\mu)$ ...
- 1,202
5
votes
1
answer
359
views
Alternative representations of Sobolev space
Is there a way to represent a Sobolev space as the image of a fractional integral operator over an $L^p$ Lebesgue space? Yes, as it was comment, there is an answer for that in the book "Singular ...
2
votes
2
answers
602
views
Image of the trace operator on W^{1,1}
Let $\Omega \subset R^n$ be a bounded region with Lipschitz boundary. Is the trace operator $T: W^{1,1}(\Omega)\rightarrow L^1(\partial \Omega)$ surjective? If not, what is the image?
- 21
1
vote
3
answers
565
views
What are the basis functions for a product space?
Let $X=L^1\left([0,1]^3\right)$,
for numerical purpose, what are the possible basis function for $X$?
In finite element method, the basis functions are tooth functions, or polynomial functions.
Is ...
user24451
0
votes
0
answers
156
views
Can a function be constructed from the direction of its gradient?
Let $\Omega$ be a bounded region in $R^n$ and $J\in (L^2(\Omega))^n$ with $|J| \leq 1$ a.e. in $\Omega$. Under what conditions the equation
$Du=J|Du|$, $u|_{\partial \Omega}=f$
has a solution in a ...
- 23
2
votes
1
answer
330
views
functions of bounded variation and gradient vector measure
I want to prove a function of bounded variation on some domain $D\subset R^n$, $f\in BV(D)$, has the property that there is a constant $C$, such that
$$
\lim_{r\rightarrow 0}\frac{C}{r^{n+1}} \int_{...
- 21
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
22
votes
4
answers
3k
views
When to use more exciting function spaces than ordinary Sobolev spaces?
In which kinds of PDEs are the more interesting function spaces required? I am thinking of spaces such as Besov and Triebel spaces, and their weighted versions.
For example, Sobolev spaces $L^2(0,T;H^...
- 405
0
votes
0
answers
515
views
If $\phi_n$ is a sequence of mollifier converging to the identity, does $\inf f\ast \phi_n \to \inf f$?
Let $\phi_n$ be a sequence of mollifier converging to the identity
$$
\phi_n(x) \to \delta_{0}(x), \text{pointwise},
$$
with $\delta_{0}(\cdot)$ the delta function at zero, and $\phi_n \in C^\infty_{\...
user24451
3
votes
1
answer
344
views
Pseudoinverse of Neumann-Laplacian
Suppose you have the following PDE: find $u \in H^1(\Omega)$ such that
$$-\Delta u = f, \\ \frac{\partial u}{\partial n} = 0. $$
Further assume a solvability condition
$$\int_\Omega f ~\mathrm{d}\...
- 31
2
votes
0
answers
190
views
A contradiction to do with continuity? (involves chain rule)
Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE
$$\frac{d}{dt}D^0_t(\cdot) = V(D^...
- 21
3
votes
1
answer
251
views
Null sets in PDE
Consider the weak formulation: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that for all $v \in L^2(0,T;V)$,
$$\langle u'(t), v(t) \rangle_{V',V} + \langle Au(t), v(t) \rangle_{V',V} = \...
- 193
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 3,245
5
votes
1
answer
932
views
Mellin transform between heat kernel and zeta-function
For some notion of a "positive operator" $D$ of "Laplacian type" one seems to be able to define a notion of a zeta-function as $\xi(s,f,D) = Tr_{L^2}(f D^{-s})$ where $f \in L^2$ (the space of square-...
- 617
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
1
vote
1
answer
400
views
Nonlinear parabolic PDEs existence with Galerkin method?
Can someone give me some references to read where existence/uniqueness of nonlinear parabolic PDE are treated via the Galerkin method or fixed point methods or something like that (anything but ...
- 405
1
vote
1
answer
527
views
Reference request: Spectral analysis of advection diffusion PDE
As the title says, I am looking for a authoritative reference/monograph on this topic. My interest is in spectral properties of this PDE, and
NOT on existence/uniqueness etc. which is usually the ...
- 2,281
1
vote
1
answer
396
views
Density of certain functions in $C_c^\infty(0,T;V)$ in the space $W(0,T) \approx H^1(0,T;V)$?
EDIT: I need to think more about the question I want to ask given comments in the answer below. Please close the thread if required. I leave it undeleted because answer is useful.
Let $V \subset H \...
- 11
3
votes
1
answer
365
views
Two equivalent definitions of weak solution to parabolic PDE; don't understand proof
(Crossposted from MSE due to no replies)
I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the ...
- 113
3
votes
0
answers
179
views
How to use Galerkin method to obtain existence with spaces $V \subset H$ not compactly embedded
With $V \subset H \subset V'$ a Hilbert triple (separable spaces as well), let's consider
$$u' + Au = f$$
in $L^2(0,T;V')$, where $A:V \to V'$ is bounded and linear. If $V \subset H$ is not compact, ...
- 41
3
votes
1
answer
518
views
A closed extension of the Laplace operator with respect to the supremum norm
Let $X$ be a bounded connected open subset of the $n$-dimensional real euclidean space. Consider the Laplace operator defined on the space of infinitely differentiable functions with compact support ...
- 31
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
- 24.7k
1
vote
1
answer
304
views
Galerkin approximations for parabolic PDE weak solution, getting a uniform bound
(As usual $V \subset H$ are separable Hilbert spaces)
In a book I read this about existence of the solutions to parabolic PDEs:
the approximate solution $u_n(t)$ solves the equation
$$(u_n', w_j)...
- 11
2
votes
0
answers
93
views
Inclusions between $L^p$ continuous functions and Triebel-Lizorkin spaces
Working in $\mathbb{R}^{d}$, consider on the one hand the space of continuous $L^{p}$ functions (let's use $V$ to denote this space), and on the other the family $\{ F_ {\alpha}^{p, q} \}_{\alpha, q}$ ...
- 21
2
votes
0
answers
157
views
linear operator associated with semilinear elliptic pde
I am reading a paper where at some point they analyse the following linear operator:
$$L_\lambda(\phi)= - \Delta \phi - C_\lambda(x) \phi$$
where $ C_\lambda(x)>0$ (smooth) in $ \Omega$ a bounded ...
- 539
1
vote
1
answer
384
views
Reference for: $C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$
If it is true, where may I find a reference/proof for:
$C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$
where $H$ is a Hilbert space.
Thanks
- 21
1
vote
0
answers
122
views
Checking initial condition of PDE is satisfied in Galerkin method
I asked this question here: https://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method
But I did not receive the solution so I post it here.
...
- 21
0
votes
0
answers
113
views
Reference Search for a Functional Minimization Problem
Let $u(x) \ge 0$ be a non-negative, piecewise-differentiable function on the real line. Moreover, let $u(x)$ be integrable with fixed positive mass, that is
$$M \equiv\int_{x=-\infty}^\infty u(x) ~ ...
- 151
1
vote
0
answers
103
views
Generalized bilinear estimates
Hello. Let $ X^{s,b} $ be the Bourgain space generated by $ \tau - \xi^3 $. It is proved that, for $ s\in (-\frac{1}{2}, 0] $, we have
$$
\|(u^2)_x\| _{X^{s,b'-1}} \leq c \|u\|_{X^{s,b}} \|u\|_{X^{-...
- 425
1
vote
1
answer
172
views
If a function is defined in terms of a solution to an initial value problem, is it also solution to an initial value problem?
Say $f:\mathbb R^{n+1}\to \mathbb R^p$ is a solution to an initial value problem, and $g:\mathbb R^{n+1}\to \mathbb R^q$, so that the components of $g$ can be expressed as polynomials in $f$, $f'$, ...
- 4,312
1
vote
0
answers
76
views
h-oscillating function
I need help understanding the following condition:
$u_h\in L^2(\mathbb{T}^d)$, $\|u_h\|_{L^2(\mathbb{T}^d)}=1$, where $h$ is the semiclassical parameter and $\mathbb{T}^d$ is the flat torus, is ...
- 11
0
votes
1
answer
347
views
Dual space of Bochner space: is there an easier proof to show they're isometric?
It is known that $[L^p(0,T;H)]^* = L^q(0,T;H^*)$.
If $p=q=2$ and $H$ is a Hilbert space, is there an easier proof to show that the spaces are isometric? The proof that I know for the general case ...
2
votes
1
answer
1k
views
Strong convergence in the Bochner space L^p([0,T],X)
Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$.
Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let $x_n(t)\in X_1$ be ...
- 843
1
vote
1
answer
339
views
$C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?
Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.
- 11
4
votes
1
answer
562
views
Fundamental solutions for degenerate elliptic equations
I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elliptic equations $L = -divA\...
- 51
6
votes
1
answer
474
views
Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$
How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...
- 83
0
votes
0
answers
137
views
$\mathcal{D}(0,T;V)$ is dense in $W(0,T)$
Where can I find a proof that $\mathcal{D}(0,T;V)$ (the space of $V$-valued compactly supported functions on $[0,T]$) is dense in the space $W(0,T)$, where $$W(0,T) := \{ u \in L^2(0,T;V) : u' \in L^2(...
- 113
3
votes
1
answer
2k
views
Regularization by mollifier sequence
A well-known feature used in PDE's is the regularization by convolution with a mollifier sequence $\rho_n$, i.e. $\rho_n(x) := n^d \rho(nx)$ with $x \in \mathbb R^d$, $\rho \in C^\infty_c(\mathbb R^d)$...
- 33
2
votes
0
answers
223
views
optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition
Consider the problem
$$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$
where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and $...
1
vote
0
answers
149
views
(localized) L^2 norm of quasimode for Laplacian
Lately I've been thinking about the following distribution on the flat torus $\mathbb{T}^2$:
$u_k=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{|l|\leq k^{0.99}}e^{ikx}e^{ily}=\frac{1}{\sqrt{2\...
- 11