Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
1 answer
1k views

The Hölder inequality for fractional order Sobolev seminorm?

This question is post on MSE a week ago. I move it here to draw more attention. Let $u\in C^\infty(\bar I)$ be given where $I=(0,1)$. Define $$ t(\alpha):=\left(\int_I\int_I \frac{|u(x)-u(y)|^\alpha}{...
JumpJump's user avatar
  • 679
7 votes
3 answers
2k views

A question on fractional derivatives

I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange. I just wanted to ask if there is a notion of ...
user avatar
7 votes
3 answers
905 views

A definition of the fractional derivative

I was investigating the idea of fractional derivatives and devised the following definition. WHich definition is it equivalent to and can I have a reference for it? $$\frac{d^n}{dx^n}f(x) = \lim_{h \...
Halbort's user avatar
  • 1,129
5 votes
1 answer
795 views

How to define transfinite derivatives of a function?

There are all manners of theories generalizing the notion of derivative. Amongst them is the fractional calculus, a rich theory which gives a sense to the derivation and integration of non-integer (i....
Morteza Azad's user avatar
4 votes
2 answers
209 views

If all points of a real function with positive values would be local minimum, can one say it is constant function?

During my studies I faced a function $f:\mathbb{R} \to \mathbb{R}^+ $ with the property: for all $x \in \mathbb{R} $ and all $y$ in open interval $(x-\frac{1}{f(x)} ,x+\frac{1}{f(x)}) $ we have $f(x) \...
M. Reza. K's user avatar
4 votes
0 answers
140 views

Given $a>0$, find $b>0$ for which $\|\langle x\rangle^{-b}|\partial_x|^{1/2}f\|_{L^2}\lesssim\|\partial_x f\|_{L^2}+\|\langle x\rangle^{-a}f\|_{L^2}$

I have asked the same question on MathSE. I was thinking about the following problem. Problem. Given $\alpha>0$, find all values of $\beta\geq 0$ such that the following estimate is true for all $\...
Lorenzo Pompili's user avatar
3 votes
1 answer
496 views

Prove that these two definitions of "natural" integration constant coincide when both converge

These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details). The first one is based on ...
Anixx's user avatar
  • 10.1k
3 votes
0 answers
204 views

Infinite partial fraction expansions to compute fractional iterations and recurrences

Let say a function $f$ is defined iteratively over the set of positive integers, for instance $f(t+1)=f(f(t))$ or $f(t+1)=f(t)+f(t-1)$. Based on the recurrence relationship and initial conditions, how ...
Vincent Granville's user avatar
2 votes
1 answer
246 views

Eigenfunctions of the fractional Laplacian are smooth?

Let $\Omega\subset\mathbb{R}^n$ open, bounded with smooth boundary, let $s\in(0,1)$. I know that the fractional Laplacian has a sequence of eigenfunctions $\{e_k\}_{k\in\mathbb{N}}\subset H^s(\mathbb{...
inoc's user avatar
  • 339
2 votes
1 answer
166 views

Integral inequality for Schwartz function

Let $s\in(0,1)$, $u\in\mathcal{S}({\mathbb{R}^n})$, $x\in\mathbb{R^n}$ with: $|x|\geq1$, i have to prove that: $$ \int_{B_{|x|/2}(0)} \frac{|u(x+y)+u(x-y)-2u(x)|}{|y|^{n+2s}}\,dy\leq c|x|^{-n-2s}, $$ ...
inoc's user avatar
  • 339
2 votes
1 answer
2k views

Sobolev embedding for fractional Sobolev spaces

Let $\Omega\subset\mathbb{R}^2$ be open and of class $C^1$. The Sobolev embedding theorem implies that if $u\in W^{k,2}(\Omega)$ and if $k\in\mathbb{N}: k\geq 2$, then $u$ is continuous. Question. ...
Nirav's user avatar
  • 347
2 votes
1 answer
324 views

Uniform estimation of an integral involving a Hölder-continuous function

Let $\Omega\subset\mathbb{R}^n$ be open and bounded, let $s\in(0,1)$, let $u\in C^{0,2s+\epsilon}(\Omega)$ bounded with $u\in C^{0,s}(\mathbb{R}^n)$ and such that: $u=0$, on $\mathbb{R}^n\setminus\...
inoc's user avatar
  • 339
2 votes
1 answer
512 views

Solving Fractional Laplacian Equations with Boundary Condition

I'm attempting to solve a simple Dirichlet problem on the fractional Laplacian with boundary conditions: $r^{+}(\nabla^s) v = f$ where $0 \leq s \leq 1/2$, $v$ is zero outside of $[0,1]$, $r^{+}$ ...
Timothy Chu's user avatar
2 votes
1 answer
291 views

An inequality involving fractional Laplacian

I have to prove that for $s\in(0,1)$, $u\in\mathcal{S}(\mathbb{R}^n)$, (i.e. $u$ is a Schwartz function): $$ |(-\Delta)^su(x)|\leq c_{n,s}|x|^{-n-2s},\quad\forall x\in\mathbb{R}^n\setminus B_1(0), $$ ...
inoc's user avatar
  • 339
2 votes
0 answers
160 views

Approximation in fractional Sobolev space

Assume $\Omega\subset \Bbb R^d$ is Lipschitz open set. Let $p\geq 1$ and $0<s\leq 1/p$. How to prove that $C_c^\infty(\Omega)$ is dense in $W^{s,p}(\Omega)$? Recall that, $$|u|^p_{W^{s,p}(\Omega)}= ...
Guy Fsone's user avatar
  • 1,101
1 vote
1 answer
196 views

Solving an equation with fractional laplacian [closed]

Let $s\in (0,1)$, how i can solve the equation: $$ (-\Delta)^su=1,\quad\text{in}\quad(-1,1)?$$ I have no idea, any help would be appreciated.
inoc's user avatar
  • 339
1 vote
1 answer
672 views

The first eigenfunction of fractional laplacian

Let $\Omega$ be bounded and smooth domain in $\mathbb{R}^n$, $s\in(0,1)$, $e_1\in \mathbb{H}^s(\Omega)$ the first eigenfunction of fractional laplacian $(-\Delta)^s$ with eigenvalue $\lambda_1>0$, ...
inoc's user avatar
  • 339
1 vote
1 answer
447 views

Dirichlet fractional Laplacian and zero boundary conditions

Does there exists a non-zero function $$f\in C_0([0,1]):=\{f:[0,1]\to \mathbb R:\ f\text{ is continuous and } f(0)=f(1)=0\},$$ such that $(-\Delta)^{\frac\alpha 2}f\in C_0([0,1]) $, where $(-\Delta)^{\...
Rgkpdx's user avatar
  • 213
1 vote
1 answer
191 views

What is the fractional derivative smoothness of functions from the Zygmund class?

Let $\Lambda([0,1])$ be the Zygmund class of continuous on $[0,1]$ functions for which $$\sup h^{-1}|f(x+2h)-2f(x+h)+f(x)|<\infty.$$ What would be the exact smoothness class for the fractional ...
Andrew's user avatar
  • 2,715
1 vote
1 answer
115 views

Well-definedness for a singular integral

Let $T_\alpha$ be a singular integral operator defined by $$ T_{\alpha}[f](t):=\int_{0}^{t}\frac{f(t)-f(s)}{(t-s)^{\alpha+1}}ds $$ for continuous functions $f$ on $[0,\infty)$ and $0<\alpha<1$. ...
user's user avatar
  • 201
1 vote
0 answers
70 views

A possible upper bound for a function that satisfies a singular integral inequality

I am currently working on an analysis problem in fractional calculus and after some work I have encountered the following inequality: $$ |v(s)|~\leq \epsilon+\beta \int_{0}^{1}|s-x|^{\alpha-1}\left( |...
Takieddine Zeghida's user avatar
1 vote
0 answers
64 views

Variation of the fractional derivatives

$\DeclareMathOperator\AC{AC}\DeclareMathOperator\Lip{Lip}$Suppose we have $f\in L^1(\mathbb{R})\cap \AC(\mathbb{R})\cap \Lip(\mathbb{R})$ and $f$ piecewise linear function, bounded and $|f|\leqslant \...
eN.meshok's user avatar
1 vote
0 answers
47 views

Another uniform estimation of an integral involving an Hölder function with derivative that is Hölder

Let $\Omega\subset\mathbb{R}^n$, let $s\in [1/2,1)$, let $u\in C^{1,2s-1+\epsilon}(\Omega)$ such that: $u=0$ on $\mathbb{R}^n\setminus\Omega$, and: $u\in C^{0,s}(\mathbb{R}^n)$, is true that there ...
inoc's user avatar
  • 339
1 vote
0 answers
52 views

Functions that vanish weakly to $\infty$ and a uniqueness problem

I am reading the article "User’s guide to the fractional Laplacian and the method of semigroups" by P.R. Stinga, there is a link. At page 17, in theorem 7, the author state that, for a given ...
inoc's user avatar
  • 339
1 vote
0 answers
42 views

Extension problem of fractional laplacian and Fourier transform of $L^1_\text{loc}$ function?

I have understand the proof oh the lemma 4.1.9 "SOME NONLOCAL OPERATORS AND EFFECTS DUE TO NONLOCALITY" by C.Bocur, there is a link. In this paper, we define, for $u\in L^1_\text{loc}(\...
inoc's user avatar
  • 339
1 vote
0 answers
213 views

Fractional Laplacian extension problem and uniqueness question

I am studying the article "An Extension Problem Related to the Fractional Laplacian" by L. Caffarelli and L. Silvestre. Consider the following problem: $$ \Delta_xu+\frac{a}{y}u_y+u_{yy}=0, $...
inoc's user avatar
  • 339
1 vote
0 answers
78 views

A question about extension problem related to fractional laplacian

I am studying the article "An Extension Problem Related to the Fractional Laplacian" by L. Caffarelli and L. Silvestre. link. At page 2, for a function $f\colon\mathbb{R}^n\to\mathbb{R}$, we ...
inoc's user avatar
  • 339
0 votes
1 answer
176 views

Symmetry of fractional laplacian

Let $\Omega\subset\mathbb{R}^n$, let $s\in [1/2,1)$, let $u\in C^{1,2s-1+\epsilon}(\Omega)$ such that: $u=0$ on $\mathbb{R}^n\setminus\Omega$, and: $u\in C^{0,s}(\mathbb{R}^n)$, is true that: $$\int_{\...
inoc's user avatar
  • 339
0 votes
1 answer
124 views

Uniform estimation of an integral

Let $\Omega\subset\mathbb{R}^n$ be open and bounded, let $s\in(0,1)$, let $u\in C^{0,2s+\epsilon}(\Omega)$ bounded and such that: $u=0$, on $\mathbb{R}^n\setminus\Omega$, is true that there exist a ...
inoc's user avatar
  • 339
0 votes
1 answer
1k views

Euler-Lagrange equation for a functional

What does it mean that the equation: $$ \text{div}_{x,y}(y^a\nabla_{x,y}u)=0,\quad \text{in }\mathbb{R}^n\times(0,\infty),$$ is the Euler-Lagrange equation for the functional: $$ J(u)=\int_{\mathbb{R}^...
inoc's user avatar
  • 339
0 votes
0 answers
52 views

References on a variant of Geometric Calculus

Geometric algebra and (standard) calculus, when synthesized, give rise to geometric calculus, a very powerful formalism. I have read a bit about fractional calculus and time-scale calculus, both very ...
user avatar
0 votes
0 answers
136 views

Fractional Laplacian of smooth cut off functions

Suppose we have a smooth compactly supported function $\phi\in C^{\infty}_c(B_\epsilon(0))$ such that $0\leq \phi \leq 1$, $\phi\equiv 1$ on the unit ball and $\phi$ vanishes outside $B_\epsilon(0).$ ...
Student's user avatar
  • 537
0 votes
0 answers
353 views

Inverse of the Riesz potential of a measure

Let $0<\alpha<d$ and let $I_{\alpha}(f)$ be the Riesz potential of a function $f$ on $\mathbb{R}^{d}$, $$ I_{\alpha}(f)(x)=\int_{\mathbb{R}^{d}}\frac{f(y)}{|x-y|^{d-\alpha}}dy. $$ Assuming $f$ ...
user111's user avatar
  • 4,034
0 votes
0 answers
48 views

definition of functions that "weakly vanishes as $y\to\infty$" and find a proof of Theorem 9 in the article

I'm reading "Extension problem and fractional operators: semigroups and wave equations" by P.R. Stinga, i have two questions: in Theorem 7 the author use the state "weakly vanishes as $...
inoc's user avatar
  • 339
0 votes
0 answers
62 views

Fractional laplacian on $H^s(\mathbb{R}^n)$ and symmetry

Let $s\in(0,1)$, $u\in\mathcal{S}(\mathbb{R}^n),$ i define the fractional laplacian of $u$ in the following way: $$(-\Delta)^su(x)=C(n,s)P.V.\int_{\mathbb{R}^n}\frac{u(x)-u(y)}{|x-y|^{n+2s}}\,dy,\quad\...
inoc's user avatar
  • 339
0 votes
0 answers
82 views

Integral equality involving fractional laplacian

Let $s\in(0,1)$, let $u\in H^s(\mathbb{R}^n)$. For all $\psi\in\mathcal{S}(\mathbb{R}^n)$, let: $$ (-\Delta)^s\psi(x)=c(n,s)\lim_{\epsilon\to0^+} \int_{\mathbb{R}^n\setminus B_\epsilon(0)}\frac{\psi(...
inoc's user avatar
  • 339
-5 votes
1 answer
753 views

Why calculus textbooks do not include the natural integration constants in the tables of integrals? [closed]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...
Anixx's user avatar
  • 10.1k
-6 votes
1 answer
141 views

Behavior of $f(x)= \log\left(1+\frac{r}{x+a}\right) + \log\left(1+\frac{r}{2x+a}\right) - 2r \log \left(1+\frac{x}{x+a+r} \right)$ [closed]

Consider the following function defined on $x \in \mathbb{R}^+ \cup\{0\}$ $$ f(x)= \log\left(1+\frac{r}{x+a}\right) + \log\left(1+\frac{r}{2x+a}\right) - 2r \log \left(1+\frac{x}{x+a+r} \right), $$ ...
James's user avatar
  • 105