1
vote
0answers
55 views

A comparison principle for degenerate parabolic equation

Let $\Omega$ be a bounded smooth domain and let $p < 0$ be real. Suppose that $u, v \in L^2(0,T;H^1(\Omega) \cap L^2(0,T;L^2(\partial\Omega))$ with $|u|^{p+1} \in L^2(0,T;L^2(\partial\Omega))$ and ...
0
votes
1answer
63 views

reference request: trace/lifting operator for $L^{\infty}$ data in bounded $\Omega\subset R^d$

I know the answer to my question must be somewhere in the literature. Probably in [Adams-Fournier], [Dautray-Lions] or something alike, but I don't have access to a library right now so I'll ask ...
0
votes
0answers
38 views

Is $\partial^\alpha$ a map $H^{s,p}(\mathbb R^N,F)\to H^{s-|\alpha|,p}(\mathbb R^N,F)$?

More precisely, the question is formulated as follows. Let $F$ be an arbitrary Banach space, especially not having the UMD−property. Let $N\in\mathbb N$ and $s\in\mathbb R$ and $1\le p\le +\infty$ . ...
27
votes
1answer
561 views

For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number: • Continuous maps: Using the unique path lifting property of the universal covering map $\mathbb R\to ...
0
votes
1answer
74 views

Getting an a priori bound on a nonlinear gradient term in PDE; how to adapt trick from $L^2$ case to $H^{-1}$ case?

I have the PDE $$u_t(t) - \Delta f(u(t)) = 0$$ in $H^{-1}(\Omega)$ where $f$ is a nonlinear function. Define $F(s) = \int_0^s f(s)$. Note that if $u_t(t) \in L^2(\Omega)$, $$\frac{d}{dt}F(u(t)) = ...
5
votes
0answers
101 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
1
vote
1answer
75 views

Techniques to show existence for a PDE with dynamic boundary condition

Let $\Omega$ be a bounded domain. I am looking for techniques to show existence of solutions to dynamic boundary problems of the form $$\Delta u = 0 \quad\text{on}\quad \Omega \times (0,T)\\ ...
4
votes
0answers
103 views

Embeddings of Sobolev spaces

Let $s_1,s_2\in \mathbb R$ such that $-\frac12<s_1\le s_2$. There exists $C>0$ such that for all smooth functions $w$ , for all $r>0$, $$\operatorname{supp} w \subset(-r,r)\Longrightarrow ...
1
vote
0answers
45 views

Changing the test function space in a weak formulation of parabolic PDE

Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that $$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T ...
2
votes
1answer
91 views

Checking initial data in parabolic PDE with no control on time derivative

It is possible to define a weak solution of a parabolic PDE $$u_t - Au = f$$ $$u(0) = u_0$$ as $u \in L^2(0,T;H^1)$ such that $$-\int_0^T\int_\Omega u(t)\varphi'(t) + \int_0^T\int_\Omega ...
1
vote
0answers
106 views

Need a regularity result for parabolic PDE, want $u' \in L^\infty((0,T)\times \Omega)$

Let us assume $\Omega \subset \mathbb{R}^n$ is as nice as required. Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy $$0 < a \leq g(x,t) \leq b < ...
0
votes
0answers
92 views

A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form $$u_t(t) - ...
1
vote
1answer
185 views

Are smooth functions dense in the space $\{u \in H^1(Q) \text{ with } \Delta_\Gamma u \in L^2(Q)\}$?

Define $$Q = \bigcup_{t \in (0,T)}\Gamma \times \{t\}$$ where $\Gamma$ is a compact (without boundary) hypersurface. Assume whatever smoothness is required. Define $L^2(Q) := L^2(0,T;L^2(\Gamma))$ ...
3
votes
1answer
190 views

Bounding $\lVert{u}\rVert_{C^0([0,T];V)} \leq C\left(\lVert{u}\rVert_{L^2(0,T;V)} + \lVert{u'}\rVert_{L^2(0,T;H)}\right)$?

Define $W(X,Y) = \{ u \in L^2(0,T;X) \mid u' \in L^2(0,T;Y)\}$ where $u'$ is the usual weak derivative. Let $V \subset H \subset V^*$ be a Hilbert triple. If $u \in W(V,V)$ (so $$u \in L^2(0,T;V) ...
0
votes
0answers
36 views

Well-posedness of a Stefan problem with Faedo-Galerkin approach

Given a domain $\Omega$ which is divided by $\Omega_1(t)$ and $\Omega_2(t)$ and the interface $\Gamma(t)$, does anyone have a reference to where a Stefan problem of the type $$\frac{d}{dt}H(u) - ...
0
votes
1answer
81 views

well-posedness of heat equation with Neumann BC and periodic data

On a domain $\Omega$ with $f \in L^2(0,T;H^{-1})$ such that $f(0) = f(T)$, consider $$u_t - \Delta u = f\quad\text{on $\Omega$}$$ $$\frac{\partial u}{\partial \nu} = 0\quad\text{on $\partial\Omega$}$$ ...
2
votes
1answer
149 views

Equivalence of negative Sobolev norm of derivative to $L^2$-norm

Let $S:=(0,1)^2$ be the unit square in $\mathbb{R}^2$, and let $M:=\{u\in L^2(S)\mid \int_S u=0\}$ be the space of (real-valued) $L^2$-functions with mean value zero. On $M$ we can consider the ...
1
vote
1answer
162 views

Inequality in the Sobolev space $H^1$

I've found the following inequality $$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ...
0
votes
1answer
128 views

A Poincaré-type inequality with logarithmic function

For any function $f(x)$ we denote $\bar{f}:=\frac{1}{\Omega}\int_\Omega f(x)\,dx$. Let $\Omega\subset \mathbb{R}^n$ be a bounded smooth domain and $u(x)> 0$ be a smooth function defined on ...
0
votes
1answer
170 views

Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?

Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain. How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous? I define $H^{\frac 1 ...
0
votes
2answers
71 views

References for well-posedness of weak solutions to Stefan problem

Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)? ...
1
vote
1answer
131 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 ...
2
votes
0answers
175 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 ...
1
vote
1answer
145 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}} ...
4
votes
4answers
341 views

Variation on the Sobolev space $H^1_0$

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set, let $$ C^1_0(\overline\Omega) = \{u\in C^1(\Omega)\cap C(\overline\Omega):u|_{\partial\Omega}=0\}, $$ and let $C^1_c(\Omega)$ be the space of ...
1
vote
1answer
168 views

Isocapacity inequalities in the theory of Sobolev Spaces

Section 9 of the lectures notes of Maz'ya (Мазья) on isocapacity, lectures notes that can be found at: http://www.math.liu.se/~vlmaz/pdf/mazya.pdf, discusses inequality between the $L^p$ norm in a ...
14
votes
4answers
648 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 ...
1
vote
1answer
120 views

Compact embedding of weighted sobolev spaces in continous functions spaces

Let the weighted sobolev space $M^p_{s,\delta}$ be the completion of $C_0^\infty(\mathbb{R}^n)$ in the norm \begin{equation} \sum_{\left\vert\alpha\right\vert\leq s}\left\Vert(1+\left\vert ...
2
votes
0answers
178 views

Degree of a function in $H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$

We can define the degree of a function $f \in H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$ as $$\mathrm{deg} \hspace{1mm} f = \frac{1}{2\pi i} \int_{\mathbb{S}^1} f^{-1} \frac{\partial f}{\partial ...
1
vote
1answer
158 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 ...
4
votes
0answers
130 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: ...
1
vote
0answers
157 views

Moduli of smoothness, Besov spaces, and Sobolev spaces

For $1\leq p\leq\infty$, the $r$-th order $L^p$-modulus of smoothness is \begin{equation} \omega_r(u,t,\Omega)_p=\sup_{|h|\leq t}\|\Delta_h^ru\|_{L^p(\Omega_{rh})} \end{equation} where ...
10
votes
0answers
335 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$. ...
1
vote
0answers
99 views

compact embedding in duals of weighted Sobolev spaces

On the whole space $\mathbb{R}^d$ consider the weight $\omega(x)=\sqrt{1+|x|}$. Under which conditions on $k,q$ is the embedding $$ L^p(\mathbb{R}^d,\omega(x)dx)\subset\subset ...
0
votes
1answer
150 views

Is BV2 space closed in L2 space?

We define the BV2 space by $S = \lbrace f\in L^2:\textrm{TV}(f)<\infty\rbrace$, where $TV(f)=\sup_{g\in C_c^1,\|g\|_\infty\leq 1}\int f\cdot \textrm{div}g$. My question is: is $S$ closed in $L^2$? ...
0
votes
0answers
102 views

Adjoint operator in sobolev space

Let $g\in H_0^1(\Omega)\cap W^{2,\infty}(\Omega),$ and let us define the operator $B : y \to g y$ from $H:=H_0^1(\Omega)\cap H^2(\Omega)$ to $H$, which we endowed with norm $|u|=(\|u\|^2 +\|\Delta ...
4
votes
0answers
138 views

A finely open set, not open up to polar set?

I already asked this on M.SE, but get no answers. Is there a (simple) example of a finely open set (i.e. w.r.t. the fine topology in potential theory) $O$ in $\mathbb R^n$, $n \ge 2$, which is not ...
0
votes
0answers
67 views

Uniqueness result

For a standard linear programming problem, let $V$ be a real Hilbert space, $v\in V$ being fixed. $C$ a convex subset of $V$. What is the condition we have to impose on $u$ and $C$, so that the ...
1
vote
1answer
95 views

Nonintegrable inverse powers as distributions

I am working through Lieb/Loss's "Analysis", and have been stuck on one of the problems for a while; Suppose we are on $\mathbb{R}^n$ and define $f(x) = |x|^{-n}$. This is not a locally integrable ...
0
votes
2answers
238 views

A question on optimal Sobolev inequality.

Let us consider the Sobolev inequality $||u||_{L^p} \le C||u||_{H^1}$ for $2 <p< 2^*$, where the constant $C$ depends on $p$ and the domain. My question is, how can one see that the optimal ...
0
votes
0answers
210 views

A question on a variant of Hardy's inequality.

I would like to know a proof of a variant of Hardy's inequality below. Could anyone introduce me a reference or give me a proof? Thank you very much for your assistance. Set ...
3
votes
2answers
211 views

Finding an optimal $p$ such that $u \in L^p$

We have an $L^2$ function $u$ defined on $\mathbb{R^2}$ with compact support such that $u \in H^{2/3}$ (H stands for Sobolev spaces, as always), $\partial_y u \in L^2$, and $(x\partial_y - ...
0
votes
0answers
107 views

Is this function in the weighted Sobolev space $H^{2,-s}$?

I have the function $$f(x)=\frac{e^{iz|x-y|}}{4\pi|x-y|}$$ with $y\in\mathbb{R}^3$ and $\Im z>0$. Let $s>\frac{1}{2}$. Clearly it is not in $H^{2,-s}(\mathbb{R}^3)$ for the singularity of order ...
0
votes
1answer
272 views

Doubt on norm of the Sobolev space $H^2(\mathbb{R}^3)$

If I consider the Sobolev space $H^2(\mathbb{R}^3)$ I have the norm $$\Vert u\Vert_{H^2(\mathbb{R}^3)}=\bigg(\sum_{|\alpha|\leq 2}\Vert D^\alpha u\Vert^2_{L^2(\mathbb{R}^3)}\bigg)^\frac{1}{2}.$$ Is ...
0
votes
1answer
299 views

Embedding of weighted Sobolev spaces

I define the following wheighted Sobolev spaces $$L^{2,s}(\mathbb{R}^3)=\bigg\lbrace u\bigg|\int_{\mathbb{R}^3}|u(x)|^2(1+|x|^2)^s<\infty\bigg\rbrace$$ and $$H^{2,s}(\mathbb{R}^3)=\bigg\lbrace ...
0
votes
1answer
127 views

Limit of a function in a weighted Sobolev space

I have a function $f(x)$ in the space $H^{2,-s}(\mathbb{R}^3)$; have this limit sense $$\lim_{|x-y|\to 0} f(x)$$ ? ($y$ is a fixed point) If i have $f$ in $H^2$ I can say that $$\lim_{|x-y|\to 0} ...
0
votes
1answer
185 views

Convergence in norm of Sobolev spaces

I consider, for $s>\frac{1}{2}$, the space $L^{2,-s}(\mathbb{R}^3)=\bigg\lbrace{f: \int_{\mathbb{R}^3}|f(x)|^2(1+|x|^2)^{-s}<\infty\bigg\rbrace}$ and I have to show that the function ...
0
votes
0answers
123 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
5
votes
2answers
613 views

Characterizing the Dual of $W_0^{s,p}$

I am interested in literature/results characterizing the dual of the fractional Sobolev space $W^{s,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$ is open, bounded, and smooth, $0< s<1$, and ...
2
votes
1answer
229 views

on an inequality of Brezis-Lieb

In their 1983 JFA paper Brezis and Lieb have shown, among many other things, a Poincaré-type inequality: in the case of a harmonic function $f$ on a bounded domain $\Omega$, their inequality ((3.14) ...