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 answers only not deleted user 36721

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.

2 votes

Exponentially weighted norms are not equivalent

If $u_n=1_{[n,n+1]}$, then for any real $t$ $$\|u_n\|^2_{L^2_t}=g(t)e^{tn},$$ where $g(t):=\frac{e^t-1}t$ if $t\ne0$ and $g(0):=1$. So, $\|u_n\|_{L^2_t}/\|u_n\|_{L^2_s}\to\infty$ as $n\to\infty$ if $s …
Iosif Pinelis's user avatar
1 vote
Accepted

Whether the fractional Sobolev seminorm of any smooth function with compact support is finite

$\newcommand{\R}{\mathbb R}$Yes, this is true for any Lipschitz compactly supported function $f$. Indeed, we have $f(x)=0$ for some real $R>0$ and all $x\in B_R^c$, where $B_R^c:=\R^n\setminus B_R$ an …
Iosif Pinelis's user avatar
0 votes

Intriguing simple question about Sobolev space $W^{1,p}(\Omega)$

Another way to do this (again assuming that $\Omega$ is open and connected): $$\nabla\frac{w_1}{w_2}=\frac{w_1\nabla w_2-w_2\nabla w_1}{w_2^2} =\frac{w_1}{w_2}\Big(\frac{\nabla w_2}{w_2}-\frac{\nabla …
Iosif Pinelis's user avatar
5 votes
Accepted

Intriguing simple question about Sobolev space $W^{1,p}(\Omega)$

Assume that $\Omega$ is open and connected (if $\Omega$ is not connected, then the desired conclusion is clearly false). By convolution with a mollifier and approximation, we may assume that $w_1$ and …
Iosif Pinelis's user avatar
1 vote

Uniform convergence of differential quotients in $L^1$

We have $$d(t):=\int dx\Big(\frac{f(x+t)-f(x)}{t}-f'(x)\Big) =\int dx\int_0^1 ds\,(f'(x+st)-f'(x)),$$ whence $$|d(t)|\le\int_0^1 ds\, J_t(s),$$ where $$J_t(s):=\int dx\,|f'(x+st)-f'(x)|\underset{t\to0 …
Iosif Pinelis's user avatar
5 votes

Can every $L^p$ function be written as the weak derivative of a Sobolev function?

No. E.g., let $n=2$ and $g(x,y)=(y,0)$ for all $(x,y)$ in the unit disk $D$. Then $\nabla f=g$ a.e. would imply $f(x,y)=h(x)$ for some function $h$ and almost all $(x,y)\in D$ and hence $\nabla_{x,y}h …
Iosif Pinelis's user avatar
1 vote
Accepted

Finite dimensionality of a subspace

$\newcommand\de\delta$The answer is no. E.g., let $X$ be the linear span of the set $\{\de,\de',\de'',\dots\}$, where $\de$ is the Dirac delta distribution supported on $\{0\}$. Then $X$ satisfies you …
Iosif Pinelis's user avatar
3 votes
Accepted

Derivative in Sobolev space extended by zero

We shall assume that $l\in(0,\infty)$, so that for any $h\in H_0^1$ we have $$\int_0^l|h|^2=\int_0^l dx\,\Big|\int_0^x h'\Big|^2 \le\int_0^l dx\,\Big(\int_0^l|h'|\Big)^2 \\ \le\int_0^l dx\,l\,\int_0 …
Iosif Pinelis's user avatar
2 votes
Accepted

Optimal constant to compare $L^2$ norm of smooth function on $[0, 1]$ to a grid

By the Euler–Maclaurin formula (with $p=4$, $m=0$, and $g(x):=\frac1n\,f^2(\frac xn)$ in place of $f(x)$ there in the formula), $$d_n(f):=\int_0^1 f^2(y) \, dy - \frac{1}{n}\sum_{i=1}^n f^2(i/n) \\ =- …
Iosif Pinelis's user avatar
4 votes

Higher integrability for Sobolev functions

$\newcommand\R{\mathbb R}\newcommand\ep\epsilon\newcommand{\de}{\delta} $For $(s,t)\in\R^2$, let \begin{equation} u(s,t):=\sum c_k g\Big(\frac{R-r_k}{h_k}\Big), \end{equation} where $g(z):=\max(0, …
Iosif Pinelis's user avatar
2 votes
Accepted

Perhaps an application of Hardy's inequality

$\newcommand\la\lambda\newcommand\al\alpha$If $C$ is allowed to depend on $\lambda$, just take $C=2\lambda^p$. If $C$ is not allowed to depend on $\lambda$, take any nonzero $f\in H_{0}^{1}(0,1)$ and …
Iosif Pinelis's user avatar
6 votes

Exercise 8.13 - Brezis

$\newcommand{\R}{\mathbb R}\newcommand{\ep}{\varepsilon}$Re-define, if needed, the function $u$ on a set of Lebesgue measure zero so that \begin{equation} u(y)-u(x):=\int_x^y dt\, u'(t) \end{equat …
Iosif Pinelis's user avatar
1 vote

Non convex optimization problem in $W_0^{1,2}$

$\newcommand{\al}{\alpha}$In leo monsaingeon's answer, for the the value $J(\al)$ of the infimum it was shown that \begin{equation*} J(\al)\le9 \end{equation*} and conjectured that \begin{equation …
Iosif Pinelis's user avatar
1 vote
Accepted

Classical fixed-point argument and invertible function

$\newcommand{\R}{\mathbb R}$Let $F:=W^{1,\infty}(\R^n)$, with $\|f\|_{1,\infty}:=\|f\|_\infty+L(f)$ for $f\in F$, where $L(f)$ is the Lipschitz constant of $f$. Take any $f\in F$ with $q:=\|f\|_{1,\in …
Iosif Pinelis's user avatar
2 votes

Showing that a Gaussian achieves equality in a logarithmic Sobolev inequality

$\newcommand{\na}{\nabla}\newcommand{\R}{\mathbb R}$Without loss of generality, $C=1$, so that \begin{equation} f(x)\equiv\exp\Big\{-\frac{\pi |x|^2}{2a^2}\Big\}, \end{equation} where it is assum …
Iosif Pinelis's user avatar

15 30 50 per page