The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
103 views

A comparison principle for parabolic equation

(Crossposted from http://math.stackexchange.com/questions/757672/how-to-prove-comparison-principle-for-parabolic-pde-nonlinear) Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for ...
0
votes
1answer
65 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$ . ...
29
votes
1answer
571 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
81 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
102 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) ...
0
votes
0answers
24 views

properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...
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)\\ ...
0
votes
2answers
97 views

reference needed for sobolev type estimates

I'm reading a paper and the authors applied the following sobolev type estimates $$ ||(Dv)^{2}||_{H^{3k-2}(\Omega)}\leq C||v||_{H^{3k-1+\alpha}(\Omega)}^{2} $$ for $\alpha>\frac{1}{4}$, where $v$ ...
2
votes
1answer
48 views

Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order

My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...
4
votes
0answers
104 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 ...
0
votes
0answers
51 views

Closure of partial differential operators on $L^2(\Omega)$

Let $\Omega\subset\mathbb{R}^2$ open set. Consider an $\textit{uniformly elliptic}$ second order differential operator on $L^2(\Omega,\mathbb{C})$ $$ H=\sum_{|\alpha|\le 2}C_\alpha\partial^\alpha $$ ...
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
133 views

Is this integration by parts legitimate?

Let's consider in dimension $d\geq 3$ the Newton/riesz potential $f=I_2[g]$ $$ f(x)=\int_{R^d}\frac{1}{|x-y|^{d-2}}g(y)dy, $$ which solves $-\Delta f=g$ (up to positive normalizing constants, which I ...
1
vote
1answer
187 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))$ ...
1
vote
0answers
79 views

Trace Theorem for $p=\infty$

I am considering the Sobolev space $W^{1,\infty}(\Omega)$ on a bounded Lipschitz domain $\Omega \subseteq \mathbb{R}^2$. I am wondering whether the trace theorem holds in this case with constant one ...
3
votes
1answer
191 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) ...
-2
votes
1answer
139 views

$L^{1}(\mathbb R) \cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R)\subset H_{1}(\mathbb R)$?

Put, $C_{0} (\mathbb R)=\{f:\mathbb R \to \mathbb C: f \text { is continuous on} \ \mathbb R \ \text {and } \lim_{|x|\to \pm \infty}f(x)=0 \}$(= Continuous functions on $\mathbb R$ vanishing at ...
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) - ...
1
vote
0answers
90 views

Almost a Green formula

Let $\Omega$ be the half-space $\mathbb{R}^{n-1}\times \{ x_n>0 \}$, let $v \in L^2(\Omega)$ and $\phi\in \mathcal{C}^{\infty}(\overline{\Omega})$ with compact support in $\overline{\Omega}$. What ...
0
votes
1answer
82 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
0answers
89 views

Weak periodic solution of parabolic PDE

Take $$ u_t(t) + A(t)u(t) = f(t), $$ $$ u(0) = u(T), $$ where $A$ is an linear elliptic operator and the first equation is an equality in $L^2(0,T;V^*)$ for $V \subset H \subset V^*$ Hilbert triple. ...
-1
votes
1answer
162 views

Why can't I get global existence to linear PDE in this way? [closed]

For any $n > 0$, standard theory implies there is a unique $u_n \in L^2(0,n;V)$ with $u_n' \in L^2(0,n;V^*)$ such that $$u_n' + Au_n = f\quad\text{as an equality in $L^2(0,n;V^*)$}$$ $$u_n(0) = ...
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)? ...
0
votes
2answers
145 views

Interior Schauder estimates with weights

Suppose we have $u(x)\in H_2^{loc}(\Omega_{\rho})$, where $\Omega_{\rho}=\{x\in \mathbb{R}^n, |x|>\rho\}$, and in $\Omega_{\rho}$, $u$ satisfies the equation $$ \Delta u-V(x)u=0, $$ where $V$ is a ...
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 ...
0
votes
2answers
124 views

property of local sobolev space

The local Sobolev space,defined as $W^{k,p}_{loc}(\Omega)$, is the space such that for any $u \in W^{k,p}_{loc}(\Omega)$ and any compact $V\subset \Omega$, $u \in W^{k,p}(V)$. I am just wondering if ...
2
votes
2answers
158 views

Sobolev spaces on boundaries

Consider the Sobolev space $W^{s,2}=H^s$ for $s=\frac{1}{2}.$ Let $\Omega \subset \mathbb{R}^n$ be an open set with boundary $\partial\Omega$. I have seen two definitions of the space ...
0
votes
1answer
76 views

Which rate of growth of the Sobolev norms guarantees analyticity?

Let $u\in C^\infty(\mathbb T^k)$, where $\mathbb T^k$ is the $k$-dimensional torus. (Equivalently, $u\in\mathbb R^k$ and $u$ is $2\pi$-periodic with respect of each argument.) We define the semi-norm ...
2
votes
1answer
98 views

sub and super-levelset regularity for Sobolev functions

I'm wondering if there are known results about the "regularity" (in some sense to be determined) of sub and super levelsets of Sobolev functions $u\in W^{1,p}(\mathbb{R}^d)$. More precisely: Assume ...
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 ...
4
votes
1answer
73 views

Examples of optimal ultracontractivity estimates for a Markovian semigroup $T_t$ that do not depend polynomialy on $t$

Let $(X,\mu)$ be a measure space and $T_t : L_2(\mu) \to L_2(\mu)$ for $t \geq 0$ a symmetric Markovian semigroup. Local ultracontractivity estimates of the form: $$ \| T_t : L_p(\mu) \to L_q(\mu)\| ...
2
votes
1answer
238 views

traces of sobolev spaces under additional assumptions

Let $p\in [1,\infty]$, $\Omega$ an open bounded domain with (smooth, if necessary) boundary $\partial \Omega$. Is there a subspace $X\subset L^p(\Omega)$ - a simply describable space, ideally a ...
0
votes
1answer
164 views

Examples of functions in $W^{k,p}(\Omega)$ with exact smoothness

Please give, explicitly, a function $f:\Omega\mapsto\mathbb{R}$ such that $f\in W^{k,p}(\Omega)$ but $f\notin W^{s,p}(\Omega)$ for $s>k$. Here $\Omega$ can be a subset of $\mathbb{R}^n$ with ...
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
346 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
649 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 ...
3
votes
1answer
112 views

Dependence of the constant in Korn's inequality on the domain

Let $\Omega \subset \mathbb{R}^N$ be an open, connected set with Lipschitz boundary, $N \geqslant 2$ and $$ \mathcal{E} ( v) := \int_{\Omega} \sum_{i, j} \varepsilon_{i j} ( v) \varepsilon_{i j} ...
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: ...