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
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
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

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
4 votes
Accepted

"Square root" of multiplication operator on Sobolev space

$\newcommand{\R}{\mathbb R}$ The square root of the multiplication operator does not exist unless the function $f$ is constant (and, obviously, the square root exists if $f$ is constant). Indeed, s …
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
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
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
2 votes
Accepted

Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$

The answer is no. Indeed, let $t:=\alpha\in(0,1)$ and $c:=\|f\|_1:=\|f\|_{L^1(0,1)}\in(0,\infty)$. Suppose that $f\in C^k(0,1)$ and $f=0$ on $(a,b)$, with $0\le a<b\le1$. Suppose that the inequality i …
Iosif Pinelis's user avatar
2 votes
Accepted

Is the Delta distribution a continuous functional on $H^1(\mathbb{R})$?

Let $f:=\varphi$, $a:=\|f\|_2$, $b:=\|f'\|_2$, so that $\|f\|_{H^1}=a+b$; see e.g. Wikipedia for the definition of $H^k$. Without loss of generality, $x=0$. For all $y\in[0,1]$, we have $$|f(y)-f(0)| …
Iosif Pinelis's user avatar
3 votes

Is it possible to find $f$ such that : $f$ is absolutely integrable, $f'$ is absolutely inte...

Indeed, disjoint tiny smooth spikes, of small heights and even much-much smaller widths, will do. Let $K\in C^\infty(\mathbb R)$ be such that $K\ge0$, $K(x)=0$ if $|x|>1/2$, and $a:=K(1/3)-K(0)\ne0 …
Iosif Pinelis's user avatar
3 votes

Adjoint of the multiplication operator on a Sobolev space

$\newcommand{\R}{\mathbb R}$ The answer is: $A_f^*$ is a multiplication operator iff the function $f$ is constant. Indeed, recall that for all $x$ and $y$ in $H^1:=H^1(\mathbb R^n)$ \begin{equation* …
Iosif Pinelis's user avatar
1 vote
Accepted

Non-convergence to a Gaussian

Your conjecture is true. Indeed, let $g_n:=\sqrt{f_n}$ and $g:=\sqrt{f}$. Let $$v:=\|g\|, $$ where $\|h\|:=\|\,h|_J\,\|_{L^2(J)}$ for $h\in L^2(\mathbb R^2)$, $J:=I^2$, $I:=[-u,u]$, and $u\in(0,1/20 …
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
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

15 30 50 per page