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 questions only not deleted user 173490

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.

5 votes
1 answer
180 views

Intermediate value property for Sobolev functions

Let $d \geq 2$, and let $f \in W^{1, 1} (\mathbb R^d)$ be a Sobolev function. Question: For any $a, b \in \mathbb R$ such that $\text{essinf } f \leq a < b \leq \text{esssup } f$, is it true that $\mu …
Nate River's user avatar
  • 6,321
0 votes
1 answer
69 views

Properties of superposition operators in $W^{1, p}$

Let $\Omega$ be a bounded open subset of $\mathbb R^n$, and $T: \mathbb R \to \mathbb R$ an absolutely continuous function with sublinear growth, in the sense that $$|T(x)| \leq 1 + |x|, \forall x \in …
Nate River's user avatar
  • 6,321
3 votes
1 answer
208 views

Blowup of Sobolev norms in approximating a non-absolutely continuous function

Let $f: [0, 1] \to \mathbb R$ be a continuous function, and $1 <p \leq \infty$. Suppose $u_n \in W^{1, p}$ are such that $u_n \to f$ uniformly. Is it true that if $f$ fails to be absolutely continuous …
Nate River's user avatar
  • 6,321
3 votes
2 answers
268 views

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

Let $\mathbb B^n$ be the open unit ball in $\mathbb R^n$, and $g: \mathbb B^n \to \mathbb R^n$ a measurable function with $|g| \in L^p (\mathbb B^n)$. Does there exist some function $f$ in the Sobolev …
Nate River's user avatar
  • 6,321
5 votes
0 answers
240 views

How far can a continuous, almost everywhere differentiable function be from being a Sobolev ...

Let $\Omega$ be the open unit ball in $\mathbb R^n$. Consider the set $\mathcal D$ of continuous functions $f:\Omega \to \mathbb R$ that are differentiable a.e, and with $|\nabla f| \leq 1$ wherever $ …
Nate River's user avatar
  • 6,321
2 votes
1 answer
173 views

Is the graph of a Sobolev function path connected?

Let $\Omega$ be a bounded, open, simply connected subset of $\mathbb R^n$ with Lipschitz boundary. Question: Does every function in the Sobolev space $W^{1,1} (\Omega)$ admit a representative whose g …
Nate River's user avatar
  • 6,321
5 votes
1 answer
270 views

Is the local maximal function bounded from $W^{1, 1}$ to $L^1$?

Let $f \in W^{1, 1} (\mathbb R^d)$. For every $\varepsilon > 0$, we consider the local maximal function $M_\varepsilon f: \mathbb R^d \to \mathbb R$, defined by $$M f_{\varepsilon} (x) = \sup_{r \leq …
Nate River's user avatar
  • 6,321
16 votes
4 answers
2k views

Is the $W^{1, \infty}$ limit of differentiable functions also differentiable?

Let $f_n$ be a sequence of differentiable functions on $[0, 1]$ with $f_n \to f$ uniformly for some (necessarily) continuous $f$. $f'_n - g \to 0$ in $L^{\infty}$ for some measurable $g$. Is it true …
Nate River's user avatar
  • 6,321
3 votes
2 answers
92 views

On nowhere differentiability of functions that just barely fail to be Lipschitz

By Rademacher’s theorem, Lipschitz functions are differentiable almost everywhere. I am wondering how badly this pointwise differentiability fails for functions that “just barely” fail to be Lipschitz …
Nate River's user avatar
  • 6,321
4 votes
1 answer
198 views

Characterisation of Sobolev spaces using their Lipschitz approximations

Let $f \in W^{1, p} (\mathbb R^n)$. A classical approximation theorem (see for instance, the book by Evans and Gariepy) says that we can approximate $f$ by Lipschitz functions, in the sense that for e …
Nate River's user avatar
  • 6,321