Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
155 views

Second differential of total variation

I am trying to give meaning to the notion of second differential of total variation. For sufficiently regular $u:\Omega \subset \mathbb{R}^2 \to \mathbb{R}$ let the total variation be given by $$TV(u)=...
Marko Rajkovic's user avatar
2 votes
0 answers
161 views

The Laplace transform and the Lagrange compositional inversion formula

I'm looking for references which derive the Lagrange inversion formula, given below (in bold), for the Taylor series coefficients of the compositional inverse of a function $f$ analytic at the origin ...
Tom Copeland's user avatar
  • 10.5k
2 votes
0 answers
65 views

Reference request for type of specific integral equation in two variable:

Consider the following integral equation: $$\int_0^\infty K(t,y)\phi(t,x)dt=0$$ Here, $K(t,y)$ is a trigonometric kernel and $\phi(t,x)$ is monotonic wrt $x$ ( for fixed $t$). I want to find the ...
GSA_1's user avatar
  • 41
2 votes
0 answers
72 views

Product of Besov and Lorentz functions

Let us fix $n\in\mathbb{N}^+$ and $p,q\in [1,\infty)$. Given $r_1,r_2,r_3\in[1,\infty)$, I would like to understand whether we have the bound $$ \|fg\|_{L^{q,r_3}(\mathbb{R}^n)}\lesssim \|f\|_{B^{n/p}...
RaffaeleScandone's user avatar
2 votes
0 answers
86 views

Eigenvalues of the operator $A = -v'' + B(x) v$

How can I prove that for the eigenvalues of the operator $$A := -v'' + B(x) v$$ on $(0,L)$ with zero Dirichlet boundary condition it holds that $$ \left| \lambda_n - \frac{\pi^2n^2}{L^2}\right| \le ||...
Lao's user avatar
  • 217
1 vote
2 answers
931 views

A question on the Lebesgue differentiation theorem

In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit $$ \lim_{\...
Andrew's user avatar
  • 2,715
1 vote
1 answer
90 views

Sobolev inequality with weight in the case $1<n\leq p$

Assume that $1<n\leq p$. Does there exist a (non-negative) measure $\mu$ (preferably with some positive density function with respect to the Lebesue measure $dx$) and $q>p$ so that for all $f\in ...
Shaq155's user avatar
  • 459
1 vote
1 answer
83 views

Reference request for (weak*) metrizability of a bounded space of signed Radon measures on a compact set

I know the following is true and I know how to prove it (cf. exercise 50 on page 171 in Folland, Theorem 7.18 in Folland), but per my adviser's instructions, it would be better to find a source to ...
Ben Ciotti's user avatar
1 vote
1 answer
642 views

Interchange of integration order (of a not absolutely convergent integral with sinus)

Can we interchange the integral order of this integral to start integration on $x$ ? (Taking $g$ and $f$ two functions of rapid decrease which are $o(x^2)$ near zero) $$A=\int_{0}^\infty \int_0^{\...
Bertrand's user avatar
  • 1,199
1 vote
1 answer
426 views

$L^p$ compactness for a sequence of functions from compactness of cut-off

Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
Zac's user avatar
  • 161
1 vote
1 answer
262 views

Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)

Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user avatar
1 vote
1 answer
277 views

Checking the uniform denseness of a set in $C([0, 1], \mathbb{R}^2)$

Let $\lambda:[0, 1]\to \mathbb{R}$, and $b_{1j}, b_{2j}:[0, 1] \to \mathbb{R}$, $j = 1, \ldots, m$ be smooth functions. Consider the following two sets $$\begin{align*} S_1 &= \left\{ \begin{...
potionowner's user avatar
1 vote
1 answer
387 views

$L^p$ compactness for a sequence of functions from compactness of product with cut-off

Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
Zac's user avatar
  • 161
1 vote
1 answer
247 views

Equivalent notion of approximate differentiability

Is it true that the definition of approximate differentiability presented here of a function $f: \mathbb{R}^N \to \mathbb{R}$ is equivalent to the following one? $$\lim_{r \to 0} \rlap{-}\!\!\int_{...
Riku's user avatar
  • 839
1 vote
1 answer
168 views

Does the Abel transform preserve analyticity?

Let $I=(0,1]$ and $T=\{(x,y)\in I^2;x\geq y\}$. If functions $f:I\to\mathbb R$ and $w:T\to\mathbb R$ are analytic, is the function $A_wf:I\to\mathbb R$, $$ A_wf(y)=\int_y^1\frac{f(x)w(x,y)}{\sqrt{x^2-...
Joonas Ilmavirta's user avatar
1 vote
0 answers
78 views

Trace theorem for $L^2([0,1]; H^k(S^2))$

Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer. Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
Laithy's user avatar
  • 969
1 vote
0 answers
42 views

Energy estimate for $\theta_t + H(\theta)_x = 0$ in $t>0, x >0$?

Consider the IBVP for $$\theta_t + H(\theta)_x = 0, \qquad t>0, \ x>0$$ with $$H(\theta) = \frac{1}{\pi} \text{pv}\int_{0}^\infty \frac{\theta(y)}{y-x} dy$$ with Dirichlet boundary conditions. ...
Zac's user avatar
  • 161
1 vote
0 answers
56 views

Moduli of continuity and Wasserstein differentiability of functions between measures

Let $X=\mathbb{R}^n$; I am also interested in the general case $X$ is a metric space but for simplicity let's focus on Euclidean space. Let $\mathcal{P}(X)$ denote the space of Borel probability ...
JeffHolder's user avatar
1 vote
0 answers
50 views

Comparison of (square) of a function and its Fourier transform in an integral

I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral. Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
Bertrand's user avatar
  • 1,199
0 votes
1 answer
321 views

Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} \...
Hans's user avatar
  • 3,031
0 votes
1 answer
185 views

Can we approximate a Hölder pdf by higher-order Hölder pdf's?

$\newcommand{\RR}{\mathbb R}\newcommand{\NN}{\mathbb N}$ Let $\alpha \in (0, 1)$ and $j \in \NN$. We denote by $H^{j + \alpha} := H^{j + \alpha} ({\RR}^d)$ the space of real-valued functions $f$ on $\...
Akira's user avatar
  • 825
0 votes
1 answer
106 views

Convergence of mollified functions in weighted $L^p$ norm

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\supp}{\operatorname{supp}} $ Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
Akira's user avatar
  • 825
0 votes
1 answer
133 views

Product of sets with the Radon-Nikodym Property (RNP)

I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP. Does the above result ...
BigbearZzz's user avatar
  • 1,245
0 votes
1 answer
307 views

Regularity properties of conditional distributions

Let $(X,Y)\in\mathbb{R}^n\times\mathbb{R}^m$ be a pair of random variables with joint density $p(x,y)$. I am interested in the regularity properties of the conditional densities $p(y|x)$ and $p(x|y)$ (...
user19200's user avatar
0 votes
1 answer
106 views

Existence of uniform approximator that also approximates derivative

Let $S$ be a subset of $C^1([0, 1], \mathbb{R})$. It is a well-known fact that given a function $f\in C^1([0, 1], \mathbb{R})$ and a sequence $\{f_n\}\subset C^1([0,1], \mathbb{R})$ such that $f_n\to ...
potionowner's user avatar
0 votes
1 answer
86 views

Kolmogorov entropy of a subset of $L^1$

How can we estimate the Kolmogorov $\epsilon$-entropy $$H_\epsilon (A,L^1(\mathbb R))$$ where $ A = \{f:\mathbb R \to [0,K] \text{ s.t. $f \in L^1$ and has total variation $TV(f) \le M$}\} $?
Riku's user avatar
  • 839
0 votes
0 answers
89 views

Maximal function on mixed $L^{p}$

Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is $$ \Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
User091099's user avatar
0 votes
0 answers
63 views

Feller semigroups and fractional operators

Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user avatar
0 votes
0 answers
58 views

in search of convergent daughter sequences

Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$. Question. Is there a subsequence $\{f_{...
T. Amdeberhan's user avatar
0 votes
0 answers
153 views

extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question): Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
CodeGolf's user avatar
  • 1,835
-2 votes
1 answer
147 views

Asymptotics for certain integrals

I stumbled on the following problem, if you can see a way through it. Let $x$ be a real variable and fix a real value $\frac14\leq\nu\leq\frac34$. QUESTION. For $x\rightarrow0$, does there exist a ...
T. Amdeberhan's user avatar
-3 votes
1 answer
392 views

A generalization of Chebyshev's sum inequality

From some my previous questions here and here and well-known rearrangement inequality. I pose an inequality as follows and I am looking for the proof or a reference. Inequality: Let $y=f(x,y)$ is ...
Đào Thanh Oai's user avatar

1
2