Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 49672

A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.

3 votes
1 answer
737 views

A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this. For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the n …
riem's user avatar
  • 266
0 votes
Accepted

Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

The paper Asymptotics of the porous media equation via Sobolev inequalities by Bonforte and Grillo seems to be what you require. They key is the validity of a logarithmic Sobolev inequality.
riem's user avatar
  • 266
0 votes
1 answer
781 views

Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$. It follows that for almost all $t$, $u_n(t)$ is bounded in $L^\inf …
riem's user avatar
  • 266
1 vote
1 answer
349 views

A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. $b(\ …
riem's user avatar
  • 266
0 votes
0 answers
602 views

$b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ i...

This question stems from the proof of Theorem A.1 on page 425 of this paper. Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in $C^0([ …
riem's user avatar
  • 266
0 votes
1 answer
266 views

Getting existence for $L^1$ data given existence for $L^\infty$ data and $L^1$ continuous de...

Let $F:\mathbb{R} \to \mathbb{R}$ be locally Lipschitz, monotone and continuous. For the sake of concreteness only let us suppose it is of porous medium type (eg. $F(r) = r^{\frac 1m}$.) Let $\Omega …
riem's user avatar
  • 266
0 votes
1 answer
250 views

Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(...

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases} -\epsil …
riem's user avatar
  • 266
2 votes
1 answer
3k views

A comparison principle for parabolic equation

(Crossposted from https://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 $x …
riem's user avatar
  • 266
1 vote
1 answer
191 views

Getting an a priori bound on a nonlinear gradient term in PDE; how to adapt trick from $L^2$...

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)) = f( …
riem's user avatar
  • 266