Use this tag for concepts related to Hölder continuity (a generalisation of Lipschitz continuity) and the related Hölder spaces.

learn more… | top users | synonyms (1)

0
votes
0answers
24 views

Pathwise measurability of Ito integral under supremum norm

I'm doing my first research project on Stochastic Analysis and in order to prove something which is crucial, I need to prove the following claim: LEMMA: Denote by ...
5
votes
1answer
82 views
+50

What's the term for “the supremum of constants $\alpha$ such that a function is $\alpha$-Hölder continuous”?

The $\alpha$-Hölder norm of a function $f(x)\colon I \to X$ where $I=[0,T]$ and $X$ is some Banach space with norm $\|\cdot\|$ is: $$\|f(t)\|_{\alpha}\colon=\sup_{s \neq t \in ...
0
votes
1answer
24 views

Notation for subspace of Hölder Space

As mentioned, this is largely a question on notation. I'm reading Fractional Integrals and Derivatives: Theory and Applications by Samko, Kilbas, and Marichev. I'm just starting and I'm curious about ...
0
votes
1answer
34 views

Using Hölder condition to find upper bound on Fourier coefficients

First I want to stress that I don't want an answer, perhaps a hint. Let $f(x)$ have period $2\pi$ and let $|f(x) -f(y)| \leq c|x-y|^{\alpha}$, for some constants $c$ and $\alpha$ for all $x$ and $y$. ...
1
vote
0answers
25 views

Under some regularity assumptions to the boundary $\partial\Omega$, the first weak eigenfunction of $-\Delta$ in $\Omega$ is also a strong one

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain, $H:=W_0^{1,2}(\Omega)$ be the Sobolev space, $C^{2,\alpha}(\Omega)$ be the Hölder space for some $\alpha\in (0,1]$ and ...
1
vote
1answer
19 views

Convergence of a sequence of Hölder continuous functions with respect to the Sobolev norm

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain, $W_0^{1,2}(\Omega)$ be the Sobolev space and $C^{2,\alpha}$ be the Hölder space for some $\alpha\in (0,1]$. Suppose $(u_k)_{k\in\mathbb ...
3
votes
1answer
48 views

A Hölder continuous function whose Fourier coefficients do not decay very fast

At Stein's book of Fourier analysis (Chapter 3, page 91, exercise 15) I was trying to solve the following problem I have to prove that the result ...
2
votes
1answer
49 views

Definition of Hölder Spaces of maps between manifolds (also Sobolev Spaces of these maps)

Let $M$ be a Riemannian manifold, $N$ a manifold, $k\in \mathbb{N}$, $\alpha\in(0,1)$ Question: How exactly is the Hölder space $C^{k,\alpha}(M,N)$ and the sobolev space $W^k_p(M,N)$ defined? Are ...
0
votes
0answers
11 views

Deriving information about asymptotics from finitness of a limit

Let $f_1,f_2:\mathbb{R}\setminus\{0\}\to \mathbb{R^+}$ be two $C^1$ functions and $\alpha:\mathbb{R}\setminus \{0\}\to \mathbb{R}$ be a function from a Zygmund class (in particular it is Holder for ...
3
votes
1answer
38 views

Partial Fourier series for $L^p$ functions, $p\ge 1$

Let $f$ be an $L^2$ function on the unit circle $f \in L^2(S^1, d \theta)$. This is equivalent to giving a Fourier series $\sum_{n \in \mathbb{Z}} a_n e^{i n \theta}$ with $\sum_{n \in \mathbb{Z}} | ...
2
votes
0answers
17 views

Calculate a Limit and find the Sup

Supporse that $$ f(x)=\frac{1}{|x|^\alpha+1},\quad\alpha\in(0,1],x\in I:=[-1,1], $$ and $$ g(x,y)=\frac{|f(x)-f(y)|}{|x-y|^\beta},\quad x,y\in I. $$ I can prove if $$ \sup_{x,y\in ...
7
votes
2answers
123 views

Hölder continuous functions are of 1st category in $C[0,1]$

I'm trying to show that the Hölder continuous functions in $[0,1]$ are a set of first category in $C[0,1]$. Does it suffice to show that they are not an open subset of $C[0,1]$? Let ...
0
votes
1answer
56 views

Holder continuous functions embedded in Sobolev

For simplicity, I will consider $u\in W^{1,p}(\Omega)$, where $1<p<\infty$ and $\Omega\subset\mathbb{R}$ is open and bounded. I am able to show that \begin{equation} |u(x)-u(y)| \leq ...
0
votes
1answer
37 views

Is $C^{1,\alpha}\subseteq C^{0,1}$?

It is true that if $f\in C^{1,\alpha}(I)$ than $f\in C^{0,1}(I)$? I mean: if $f$ is bounded and differenciable with bounded and holder continuous derivative, then $f$ is bounded and lipschitz ...
0
votes
0answers
43 views

Product of Holder functions is Holder

I am having trouble proving that given $u_1 \in C^{k,\alpha}$ and $u_2 \in C^{k,\alpha}$ the product also lies in $C^{k,\alpha}$. I have tried first doing the $k=0$ case but I can't fully understand ...
3
votes
0answers
33 views

Lip $\alpha$ trigonometric series

Assume we have a trigonometric series $$ f(x)=\sum_{n=1}^{\infty} a_n\sin nx \in \text{Lip }\alpha, \, 0<\alpha <1. $$ Is there anything we can say about the series $$ g(x)=\sum_{n=1}^{\infty} ...
2
votes
0answers
46 views

Holder norms inequality

I saw this in a proof I am reading, and have been unable to justify the statement. Assume $\Omega$ to be a open bounded set in $R^n$ with smooth boundary, and $u\in C^{2,\alpha}(\bar\Omega)$. Then,for ...
2
votes
0answers
52 views

Global Holder regularity from DiGiorgi-nash-moser

For a strictly elliptic differential operator $L=\sum_{i,j} D_i (a_{ij}D_ju) $ with strictly elliptic condition on open bounded smooth domain $\Omega$,and bounded coefficients, DiGiorgi-Nash-Moser ...
4
votes
3answers
45 views

Hölder continuity of $\frac1x$

I have a question. Is the function $f(x)=1/x$ Hölder continuous if $x\in (\varepsilon,+\infty),\ \varepsilon>0$?
0
votes
0answers
51 views

C^1 is not dense in Holder space

Let $\overline{\Omega}$ be a bounded, closed and convex set of $\mathbb{R}^n$. Prove that $C^1(\overline{\Omega})$, the space of continuously differentiable functions on $\overline{\Omega}$, is not ...
1
vote
1answer
21 views

rational function of non vanishing Hölder continuous functions

Conside Hölder continuous functions $f_1,…,f_m:\mathbb{R}^n\rightarrow \mathbb{R}$ (with Hölder coefficient $\alpha$). The claum is now that any rational function of $f_1,…,f_m$ with non vanishing ...
2
votes
1answer
49 views

Is the Hölder space with exponent $\beta$ dense in the space with exponent $\alpha$ for $\alpha<\beta$?

For $0<\alpha\leq 1$ let $\Lambda_{\alpha}([0,1])$ be the space of functions on $[0,1]$ such that $||{f_{\Lambda_{\alpha}}}||<\infty$, where ...
2
votes
0answers
28 views

Exponents for Hölder functions on metric spaces

Sometimes people talk about Hölder functions on metric spaces without mentioning the allowed range for the exponent. On manifolds, it's traditional to assume an exponent in $[0, 1]$, since all ...
2
votes
1answer
147 views

Prove an interpolation inequality

Assume $0 < \beta < \gamma \le 1$. Prove the interpolation inequality $$\|u\|_{C^{0,\gamma}(U)} \le \|u\|_{C^{0,\beta}(U)}^{\frac{1-\gamma}{1-\beta}} ...
0
votes
2answers
244 views

Proving that a Hölder space is a Banach space

I am trying to show that the Hölder space $C^{k,\gamma}(\bar{U})$ is a Banach space. To do this, I successfully proved that the mapping $\| \quad \| : C^{k,\gamma}(\bar{U}) \to [0,\infty)$ is a norm, ...
2
votes
0answers
43 views

Proving a basic result about Holder continuous functions

Let $V$ be a open convex set. We will say that a function $m$ has the order of smoothness $p$ on $V$ with $p=l+\gamma$, where $l \geq0$ is an integer and $0<\gamma\leq1$ and will write $m\in ...
1
vote
0answers
88 views

The function $f(x) = x^\alpha $ belongs to the Lipschitz class of order $\alpha$

Suppose that we have a Lipschitz function $$ |f(x_1) - f(x_2) |\le M {|x_1 - x_2|}^{\alpha} $$ where M is a constant. Note Lip $\alpha$ denote the set of all functions satisfying a Lipschitz condition ...
0
votes
1answer
66 views

Holder continuity using Sobolev imbedding

We assume for any $V\subset \subset U$ and $1<p<\infty$ $||u||_{W^{2,p}(V)}\le C(||\Delta u||_{L^p(U)}+||u||_{L^1(U)})$ for some $C=C(V,U,p)$. Given, $B=\{x∈R^3,|x|<1/2\}$ and we suppose ...
4
votes
0answers
178 views

On the Hölder regularity of an integral function

Let $n\geq 3$. Let $\Omega$ be an open and bounded subset of $\mathbb{R}^n$. Let define $X_0$ as the space of functions $f:\bar\Omega\times\partial\Omega\to\mathbb{R}$ such that $f(x,\cdot)$ is ...
2
votes
0answers
52 views

Extensions in parabolic Hölder spaces

Let $\alpha\in ]0,1[,k\in\mathbb{N}.$ Let $\Omega$ be a open and bounded subset or $\mathbb{R}^n$ of class $C^{k+\alpha}$. As one could find in G.M. Troianello "Elliptic Differential Equations and ...
1
vote
1answer
47 views

Show that the set of uniformly Lipschitz functions vanishing at $0$ is compact in $C[0,1]$

The question is: For $K$ and $\alpha$ fixed, show that $\{f\in \operatorname{Lip}_k \alpha : f(0) = 0\}$ is a compact subset of $C[0,1]$. I was going to attempt this by using by Arzela-Ascoli theorem ...
2
votes
0answers
24 views

Multiplicative constant in inclusions of Hölder spaces

Let $\Sigma(n + \beta, L)$ for $n \in \mathbb{N}_0$, $0 < \beta \le 1$, $L > 0$ be the set of functions $f : \Omega \to \mathbb{R}$ (or $\mathbb{C}$, whatever) whose derivatives up to order $n$ ...
0
votes
1answer
74 views

Continuity of a composition map between Holder spaces

Let $\varphi\in C^{\infty}_0(\mathbb{R})$, $0<\alpha<1$, $\Omega\subset\mathbb{R}^d$ be a bounded domain. Is it true that the map $\Phi:C^{0,\alpha}(\bar{\Omega})\to ...
1
vote
1answer
689 views

The Relation between Holder continuous, absolutely continuous, $W^{1,1}$, and $BV$ functions

I am trying to find out the relation between those spaces. Take $I\subset R$ on the real line. $I$ can be unbounded. Then I have: We first assume $I$ is bounded. If $u\in C^{0,\alpha}(I)$, for ...
1
vote
0answers
90 views

Parabolic holder norms

Let $Q=\Omega\times[0,T]$ be a cylinder with $\Omega$ bounded open set in $\mathbb{R}^N$. N.V.Krylov in "lectures on elliptic and parabolic equations in holder spaces" defines the parabolic holder ...
1
vote
1answer
32 views

Distributional derivative of a hölder function

Let $f$ be a $\alpha$-Hölder function in $\mathbb{R}^n$. Question : does it have distributional derivatives in a $L^p$ space ? (modulo a suitable relationship between $\alpha$ and $n$). I know the ...
1
vote
1answer
98 views

An oscillation property that implies Hölder continuity of function

Let for a function $u: \mathbb R \rightarrow \mathbb R$ and $x_0 \in \mathbb R$, $r>0$: $$ w(u,x_0,r)=\sup_{B(x_0,r)} u-\inf_{B(x_0,r)}u, $$ where $B(x_0,r)=(x_0-r,x_0+r)$. In Wikipedia (see here) ...
2
votes
1answer
61 views

Question on Non-Lipschitz Functions

I have a question about non-Lipschitz functions. Let $f_1,f_2,...f_n$ be some collection of Holder continuous non-Lipschitz scalar functions defined on a compact subset of $\mathbb{R}^n$. My questions ...
3
votes
0answers
102 views

Holder regularity for the heat potentials

First I apologize for my bad English and for any error: this is my first question. I need some regularity results for the simple and double layer heat potentials. If $\Gamma(t,x)$ is the fundamental ...
4
votes
1answer
83 views

Decay of Fourier Coefficients implies Holder Continuity?

This is an exercise problem. I got stuck here and would like to get a hint. The problem is Suppose $f$ is continuous and $2\pi$-periodic, and $|\hat{f}(n)|\leq |n|^{-3/2}$ for all non-zero ...
0
votes
1answer
32 views

A function with only a partial derivative not Hölder-continuous

I'm looking for a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$ 1. $x\mapsto u(t,x)$ is $C^{2,\alpha}$; 2. $t\mapsto u(t,x)$ is $C^{1,\alpha}$; 3. $t\mapsto ...
3
votes
2answers
126 views

Urysohn's lemma with Lipschitz functions

In a complete and separable metric space $(X,\mathrm{d})$ given an open set $U$ and a closed set $K\subset U$. Is it possible to find a Lipschitz function $f$ such that $f|_K=1$ and $f|_{X\setminus ...
0
votes
1answer
78 views

For which exponents $\gamma$, the function $|x|^{1/2}$ is $\gamma$-Holder continuous?

I have to prove the following. Let $$u(x):=|x|^{1/2}$$ if $$|x|\le 1$$ For which exponents $\gamma\in (0,1]$, $u\in C^{0,\gamma}([-1,1]).$ The answer should be $\gamma\in (0,\frac{1}{2}]$, but I ...
0
votes
1answer
73 views

Sobolev embedding counterexample

I trying to find a counterexample to show that $$W^{1,p}(\mathbb{R ^n}) \nsubseteq C^{0,\alpha}(\mathbb{R^n}) $$ for $p>n$ and $\alpha > 1 -\frac{n}{p}$. No clue yet, thanks for your help.
0
votes
0answers
45 views

Hölder continuity for parabolic equations

What is a good and modern reference for hölder regularity for non-degenerate parabolic equations? To be a bit more precise, I have a degenerate parabolic equation, exhibiting two degeneracies, and can ...
3
votes
2answers
107 views

Showing a set is nowhere dense in $C([0,1])$

Let $E_n$ be the set of all $f \in C\big([0,1]\big)$ for which there exists $x_0 \in [0,1]$ (depending on $f$) such that \begin{align*} \lvert\, f(x)-f(x_0)\rvert \leq n\lvert x-x_0\rvert, ...
1
vote
1answer
127 views

About composition of Holder functions.

Let $f,g$ be Holder continuous functions with respective exponents $\alpha, \beta \in (0,1)$. More precisely $f \in C^{\alpha}(\mathbb{R}^n;\mathbb{R}^n)$, $g\in C^{\beta}(\mathbb{R}^n,\mathbb{R})$. ...
1
vote
1answer
42 views

Hölder continuity and uniform boundedness

Is uniform boundedness is related to Hölder continuity of a function? I mean is it necessary to prove first uniform boundeness to prove the Hölder continuity of a function? Also tell me the ...
1
vote
1answer
28 views

Is $||u||_{C^\alpha} \leq ||u||_{C^1}$ for all $u$?

We have $||u||_{C^\alpha,\Omega} = \text{sup}_\Omega |u(x)|+ \text{sup}_\Omega \frac{|u(x)-u(y)|}{|x-y|^\alpha}$ and $||u||_{C^1} =\text{sup}_\Omega |u(x)| + \text{sup}_\Omega|\frac{du}{dx}|$ I have ...
2
votes
1answer
260 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...