All Questions
5,658 questions
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
- 749
5
votes
1
answer
581
views
A problem in real analysis of a topological nature
Let $f: R \to R$ be a function such that the closure of its graph contains as a subset the graph of a uniformly continuous function. Does there exist a dense subset $S$ of $R$ such that the ...
- 2,079
5
votes
2
answers
2k
views
Chain-rule and change of variables in BV/Sobolev
A lot of results are available for the following chain-rule problem:
(CRP1) Let $f\colon \mathbb R \to \mathbb R$ be a $C^1$/Lipschitz function and let $g \colon \mathbb R^d \to \mathbb R$ be a ...
- 608
5
votes
1
answer
351
views
Set of translations of a real function having a dense linear span
Let $W$ be the space of continuous functions $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $\lim_{x\rightarrow \pm \infty} f(x)=0$, and consider the sup-norm topology on $W$.
Problem. does there ...
- 537
5
votes
2
answers
483
views
Are there any known approaches of generalizing functions that do not have a limit at infinity to values at infinity?
Let's consider the affinely extended real line. The functions that have a limit on positive or negative infinity $\lim_{x\to+\infty} f(x)$ or $\lim_{x\to-\infty} f(x)$ can be generalized to the values ...
- 10.1k
5
votes
3
answers
2k
views
Morrey's inequality for Sobolev spaces of fractional order
Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that
$$
\|u\|_{H^s}^2=\sum_{k\...
- 2,933
5
votes
2
answers
3k
views
Product of Lebesgue and counting measures
Let $\mathbb R$ be endowed with the standard Euclidean topology and let $\widetilde {\mathbb R}$ denote the line endowed with the discrete topology. Let $\mu$ and $\nu$ denote the Lebesgue and ...
- 405
5
votes
1
answer
271
views
Is this graph of reciprocal power means always convex?
Let
$$
p = (p_1, \ldots, p_n)
$$
be a finite probability distribution, which for convenience I'll assume to have no zeroes: thus, $p_i > 0$ for all $i$ and $\sum_i p_i = 1$.
Is the function
$$
q \...
- 27.7k
5
votes
1
answer
550
views
Weakest assumption for pointwise convergence of Fourier series
This should be a quick one, but so far books, my brain, and the internet have not produced a clear answer. Or maybe it's subtle and exposes a weakness in my understanding of FS!
Suppose $f(x)=\sum_{...
- 53
5
votes
3
answers
349
views
minimum of two probability densities
Consider a smooth probability density $\pi(x)$ on $\mathbb{R}^d$. I am looking for natural for the integral $\iint_{u,v} \ \min\big(\pi(u), \pi(v) \big) \ du \ dv$ to be finite. If $\pi$ is a radially ...
- 2,133
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
5
votes
2
answers
541
views
Asymptotic behaviour of $\int f(t)^a\cos(at)dt$
Are there any known necessary or sufficient conditions such that
$$\lim_{a\rightarrow \infty}\int_{-1}^1f(t)^a\cos(at)dt=0$$
where $f:[-1,1]\rightarrow[1,\infty)$ is an even smooth concave real ...
- 17.9k
5
votes
1
answer
316
views
Symmetric functions and regularity
Let $f:\mathbb R^2\rightarrow\mathbb R$ be a symmetric function: $f(y,x)=f(x,y)$. It can therefore be written has a function of the elementary symmetric polynomials, here $f(x,y)=F(x+y,xy)$, where $F(\...
- 52.3k
5
votes
2
answers
917
views
Is the inclusion of Lebesgue spaces compact?
[Disclaimer: this may be a very trivial question; it certainly looks like it ought to have been studied and understood. I started thinking about it this morning when writing some notes for Rellich-...
- 39.1k
5
votes
1
answer
355
views
Verify $ \limsup_{\epsilon \rightarrow 0^+} \int_{D}\frac{1}{\sqrt{(x-(1-\epsilon))^2 +y^2}}\frac{1}{\sqrt{1-\sqrt{x^2+y^2}}} \, dx \, dy <+\infty$
I want to know whether or not
$$ \limsup_{\epsilon \rightarrow 0^+} \int_{D}\dfrac{1}{\sqrt{(x-(1-\epsilon))^2 +y^2}} \frac{1}{\sqrt{1-\sqrt{x^2+y^2}}} \, dx \, dy <+\infty.$$
Here $D $ denotes the ...
- 61
5
votes
1
answer
282
views
Is there a singular function that is Hölder continuous of every order less than $1$?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
Does there exist a singular function that is Hölder ...
- 6,285
5
votes
1
answer
222
views
If every point is a Lebesgue point of $f$, does $f$ satisfy the intermediate value property?
Let $f: \mathbb R \to \mathbb R$ be a locally integrable measurable function.
We say $f$ satisfies the intermediate value property if given any $a, b\in \mathbb R$ with $a < b$, whenever $u \in \...
- 6,285
5
votes
1
answer
340
views
How to give a counterexample of this estimate related to Paley-Littlewood theorem?
I am studying Paley-Littlewood theorem in Harmonic analysis, and I met an exercise. I would like to construct a function $f$ as a counterexample to show that the inequality
\begin{equation}
\| f \|^...
- 187
5
votes
1
answer
258
views
On the continuity of a Set-Valued function (correspondence) [closed]
Let $f:\mathbb{R}^{n}\rightrightarrows \mathbb{R}^{m}$ be a set-valued function defined by
\begin{equation*}
f\left( x\right) =\left\{ y\in \mathbb{R}^{m}:g\left( x\right) +h\left(
x\right) ^{T}y\...
- 61
5
votes
1
answer
216
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
- 4,115
5
votes
1
answer
294
views
Converse to Young's classical result on Riemann-Stieltjes integration
A classical result from Young in 1936 says that if $f\in C^\alpha$ and $g\in C^\beta$ with $\alpha+\beta>1$ then $\int f \, dg$ exists as a Riemann-Stieltjes integral.
However, I am interested in ...
- 1,904
5
votes
1
answer
526
views
Boyd & Chua 1985: Is the proof of Lemma 2 correct?
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'm reading this article by Boyd and Chua [1], in which they prove the approximability of arbitrary time-invariant (TI) operators ...
- 153
5
votes
1
answer
436
views
Is the Legendre transform as an operator Lipschitz?
Let $C_{lsc}(\mathbb{R}^n)$ be the space of lower semicontinuous convex functions $\mathbb{R}^n \to \mathbb{R}$. The Legendre-Fenchel (LF) transform of $f \in C_{lsc}(\mathbb{R}^n)$ is:
$$ f^*(y) := \...
- 161
5
votes
1
answer
319
views
Analytical form for the nuclear norm of an $n \times n$ matrix
I get the follow equation in a paper. Let $A \in \mathbb{R}^{2 \times 2}$, then $M = A^TA$ is a positive semi-definite matrix, the nuclear norm of $A$ is:
$$ \Vert A \Vert_* = \sqrt{\operatorname{tr}(...
- 71
5
votes
1
answer
415
views
Why is it valid to take uncountable infimum of one dimension of a multivariate function of random variables?
let $\xi,\eta: \Omega \to \mathbb R$ be i.i.d. random variables on a measurable space $(\Omega , \mathcal F,\mathbb P)$, and let $f: \mathbb R^2 \to \mathbb R$ be a bivariate measurable function (say ...
- 53
5
votes
1
answer
460
views
Using Young's inequality to show elementary inequality?
Let $p, q\geq 2$, $s\geq p$ and $f,g$ be non-negative smooth enough functions. Then why does the following inequality hold: $$-f^{q-2}g^{s}|\nabla f|^{p}+f^{q-1}g^{s-1}|\nabla f|^{p-1}|\nabla g|\leq C(...
- 459
5
votes
1
answer
316
views
Is $\mathbb{Q}$ the orbit of a continuous function that is computable when restricted to $\mathbb{Q}$?
In the previous post What is the smallest set of real continuous functions generating all rational numbers by iteration? I asked for the smallest set of continuous real functions that could generate $\...
- 4,862
5
votes
1
answer
618
views
Is the harmonic series worse than any summable series?
It is well-known that the harmonic series is not summable. In some sense this means that it takes a lot of rather large values.
We define the operator $F_{\varepsilon}: \ell^{\infty}(\mathbb N) \...
- 536
5
votes
1
answer
206
views
Mean value principle reversed
Suppose that $\Omega \subset \mathbb R^3$ is a domain with smooth boundary $\partial \Omega$ and suppose that $0\in \Omega$. Given any $f \in C^{\infty}(\partial \Omega)$ let $u^f$ denote the unique ...
- 4,115
5
votes
1
answer
228
views
Does such a function exist?
I am looking for a function with the following property:
Let $v_1,v_2$ be two linearly independent vectors in $\mathbb{R}^2.$
I am given a smooth function $g:(0,1) \rightarrow (0,\infty).$
I am trying ...
- 536
5
votes
1
answer
280
views
First order PDE in complex variables?
Consider the equation
$$f'(x)+ g(x)f(x)=0$$
This equation is an ODE and has a solution $$ f(x)=C e^{ \int_1^x g(x) \ dx}.$$
Similarly, we can look at complex variables and consider the equation and ...
- 536
5
votes
1
answer
391
views
Proving a specific case of Robin's Inequality
Edit: It turns out that this is equivalent to the RH which gives the idea that this might a a little difficult to show. As such we could consider an even simpler case in which the number $n$ is ...
- 315
5
votes
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 42k
5
votes
1
answer
189
views
Subsequences of an orthonormal basis generating a strongly embedded subspace in $L_2(0,1)$
A closed subspace $M$ of $L_2(0,1)$ is said to be strongly embedded if the norms $\|\cdot\|_2$ and $\|\cdot\|_1$ are equivalent on $M$.
Let $(f_n)_{n\in \mathbb N}$ be a orthonormal basis of $L_2(...
- 4,461
5
votes
1
answer
288
views
Is there any continuous ternary function which can not be represented by composition of continuous binary functions?
Let $f : X^3 \rightarrow X$.
If $X$ is $\mathbb Z$, then there will be a couple of functions $g,h$ from $\mathbb Z^2$ to $\mathbb Z$ that satisfies $f(x,y,z) = g(h(x,y),z)$ since there is a bijection ...
- 151
5
votes
2
answers
647
views
Dominated convergence 2.1?
After this question : Dominated convergence 2.0?
I want to know, what about the case when $h\in L^1([0,1])$.
The completed question :
Let $(f_n)_n$ be a sequence in $C^2([0,1])$ converging ...
- 4,074
5
votes
2
answers
242
views
Can we stay invertible while approximating linear maps in Sobolev spaces?
Let $\Omega \subseteq \mathbb{R}^n$ be an open bounded domain with a smooth boundary. Fix $1<p<n$.
Let $A \in W^{1,p}(\Omega;\text{End}(\mathbb{R}^n)) \cap C(\Omega;\text{End}(\mathbb{R}^n))$ ...
- 6,741
5
votes
1
answer
599
views
An inequality related to Lagrange's identity and $L_p$ norm
Let $a_1, a_2, \cdots , a_n$, $b_1, b_2, \cdots, b_n$ be real numbers, $p \in [1, +\infty)$, prove that
$$\sum_{1\leq i < j \leq n} |a_ib_j - a_jb_i|^p \leq c_p \sum_{i=1}^n |a_i|^p \sum_{i=1}^n |...
- 563
5
votes
1
answer
477
views
An inequality involving a sum of power terms
I am currently working in a problem in Information Theory and I came across a difficult inequality. After many attemps, I simplified the inequality, which now looks at follows.
Consider a positive ...
5
votes
1
answer
877
views
Density of intersection with shifted sets
Given a subset $S$ of the positive integers $\mathbf{N}$, let $\mathrm{d}^\star(S)$ be its upper asymptotic density, that is,
$$
\mathrm{d}^\star(S)=\limsup_{n\to \infty}\frac{|S \cap [1,n]|}{n}.
$$
...
- 1,511
5
votes
1
answer
2k
views
Convergence of sequence of inverse functions
I have a question: Consider two sequences of continuous, bijective functions $f_n$ and $g_n$ mapping $\mathbb{R}\to\mathbb{R}$. I know that for every compact $K\in\mathbb{R}$ that
$$\lim_{n\to\infty}...
- 163
5
votes
1
answer
226
views
If $f:[0,1]\to\mathbb{R}$ has continuous approximate deriv., is it $C^1[0,1]$?
For $f:[0,1]\to\mathbb{R}$, let $f'_{app}(x)$ denote the approximate derivative (that is, the derivative calculated along some set with density $1$ at $x$, if such a thing exists). Assume that $f'_{...
- 1,014
5
votes
1
answer
654
views
Fréchet L-Spaces
According to the paper The emergence of open sets, closed sets, and limit points
in analysis and topology famous mathematician Maurice Fréchet who introduced the concept of metric spaces has also ...
- 1,093
5
votes
1
answer
220
views
Order between two completely monotone functions?
I am wondering if the following assertion is true:
Let $f,g:\mathbb{R}_+\rightarrow [0,1]$ be completely monotone functions on $\mathbb{R}_+^*$, that is, $(-1)^n f^{(n)}(x)\geq 0$ and $(-1)^n g^{(n)}...
- 266
5
votes
1
answer
239
views
Function and its Gradient with Prescribed Norms
I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
- 97
5
votes
2
answers
1k
views
Equation between the two branches of the lambert w function
My question: Is there an equation connecting the two branches $W_0(y)$ and $W_{-1}(y)$ of the Lambert W function for $y \in (-\tfrac 1e,0)$?
For example the two square roots $r_1(y)$ and $r_2(y)$ of ...
- 497
5
votes
2
answers
644
views
Exotic Lebesgue Measurable Function
Measurable functions whose graphs are dense in the plane are well known. Examples include, the Conway 13 function, as given in the answer in this link: When is the graph of a function a dense set?
...
- 51
5
votes
1
answer
893
views
Isolated critical points
Is the following statement true or false?
Let $f:U\subset{\bf R}^n\to{\bf R}$ be a $C^2$-function (or $C^k$, with $k>2$; or real analytic) defined in a neighborhood $U$ of $0$. Assume that $0$ is ...
5
votes
1
answer
330
views
Compactness of a semi algebraic set
Suppose I have a polynomial $p\in R[x_1,\ldots,x_n]$ and I look at the set $S:=\{ x\in R^n : p(x)\geq 0\}$. Are there algebraic certificates on $p$ that will certify that $S$ is compact?
- 65
5
votes
3
answers
1k
views
Property/Relations using Fourier series/transform, which give complete information about all the jump singularities of a function.
Consider a function which has only jump singularities of the form of the function itself or one of its derivatives jumping. Now let $\hat{f}(k)$ be its Fourier transform/series. We know the decay of ...
- 698