All Questions
726 questions
2
votes
1
answer
105
views
Fix positive $t$. Construct $a_n \in \mathbb R^n$ such that $(\inf_x \|x-a_n\|_2 + t\|x\|_1 )/\min(\|a_n\|_2,t\|a_n\|_1) \to 0$
For any positive number $t$, nonnegative integer $n$, and nonzero vector $a \in \mathbb R^n$, define
$$
\begin{split}
K_n(a,t) &:= \inf_{x \in \mathbb R^n} \|x-a\|_2 + t\|x\|_1,\\
M_n(a,t) &:= ...
- 6,853
2
votes
0
answers
470
views
Can any antidifference (indefinite sum) of a function be expressed in elementary functions and generalized polygamma function if its integral can be expressed in elementary functions?
If the integral or multiplicative integral of a function can be expressed with elementary functions, does it mean its indefinite sum (antidifference) or indefinite product respectively can be ...
- 10.1k
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 765
2
votes
1
answer
260
views
Non-Fourier complete orthogonal basis?
The Fourier Transform (FT)
Is orthogonal: inner product of one basis, $e^{j\omega_0}$, with any other basis, $e^{j\omega_1}$, is zero
Is invertible: info-preserving, has inverse function
Is energy-...
2
votes
1
answer
142
views
Proving convexity of the expected logarithm of binomial distribution
I would like to prove that the following function, for an arbitrary integer $n$:
\begin{equation}
\begin{split}
f(x) & =x\cdot E \ \log(1+\text{Binomial(n,x)}) \\
& = x \cdot \sum_{k=0}^{n} \...
- 23
2
votes
0
answers
130
views
Smoothness of Radon transform
Let $f:\mathbb R^n \to \mathbb R$ be density function (i.e nonnegative function which integrates to $1$), and consider its Radon transform $R[f]$ defined by
$$
R[f](w,b) := \int_{\mathbb R^n}\delta(x^\...
- 6,853
2
votes
1
answer
157
views
Inequality with decreasing rearrangement and non-decreasing function
This question is a continuation of the question here.
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$...
- 459
2
votes
2
answers
1k
views
Approximation of smooth compactly supported functions on $\mathbb{R}^2$ using sums of products of one variable functions
Let $f \in C^{\infty}(\mathbb{R}^2)$ be smooth and compactly supported. Can we approximate $f(x,y)$ by sums of the form $\sum_{i=1}^m g_i(x) h_i (y)$ where $g_i, h_i \in C^{\infty}(\mathbb{R})$ are ...
- 33
2
votes
1
answer
450
views
Show that the absolute value of this function is twice differentiable except on a set of Lebesgue measure $0$
Let
$f\in C^3(\mathbb R)$ with $f>0$ and $$\int f(x)\:{\rm d}x=1\tag1$$
$g:=\ln f$ and assume that $g'=\frac{f'}f$ is Lipschitz continuous (note that this implies that $f'(x)\xrightarrow{|x|\to\...
- 167
2
votes
2
answers
257
views
Reference request on Min-Max theorem
Consider the following min-max problem
$$\inf_{x\in M} \sup_{y\in N} F(x,y),$$
where $F: M\times N\to\mathbb R$ is Lipschitz and $y\mapsto F(x,y)$ is concave for all $x\in M$. Could we derive $\...
user128095
2
votes
0
answers
232
views
Is an orthogonal projection of a Lipschitz domain still a Lipschitz domain?
Let $\mathcal{X}\subseteq\mathbf{R}^n$ be a Lipschitz domain, i.e., for each $x\in\partial\mathcal{X}$, there exists a radius $r_x>0$ and a Lipschitz continuous function $F^x:\mathbf{R}^{n-1}\to\...
- 21
2
votes
0
answers
197
views
Orthogonality relation in $L^2$ implying periodicity
Let $\theta(t)$ and $\phi(t)$ be two real $C^1$ functions $[0,2\pi]\rightarrow \mathbb{R}$. Let us assume $\theta$ has the properties
$$
\int_0^{2\pi} e^{i\theta(t)} dt=0.
$$
Geometrically this means ...
- 405
2
votes
1
answer
437
views
If $g$ is differentiable, how can we show that $z\mapsto1\wedge e^{g(z)}$ is differentiable except on a countable set
If $g:\mathbb R\to\mathbb R$ is differentiable, how can we show that $$h(z):=\min\left(1,e^{g(z)}\right)\;\;\;\text{for }z\in\mathbb R$$ is also differentiable, except at a countable number of points, ...
- 167
2
votes
1
answer
104
views
Limit of biggest share of the pie
A huge pie is divided among $N$ guests. The first guest gets $\frac{1}{N}$ of the pie. Guest number $k$ guest gets $\frac{k}{N}$ of what's left, for all $1\leq k\leq N$. (In particular, the last guest ...
- 48.9k
2
votes
3
answers
1k
views
on the set of numbers generated by integer linear combination of two real numbers.
Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...
- 29
2
votes
1
answer
328
views
Hausdorff dimension of the graph of a BV function (in 1 dimensional setting)
Let $u: \Omega\subset \mathbb{R} \to \mathbb{R}$ be a function of bounded variation.
Question 1.
How can we prove that the Hausdorff dimension of the essential graph of $u$ equal to $1$?
Question ...
- 839
2
votes
2
answers
255
views
Do we have a name for this space?
Let $\Omega$ be a bounded domain in $\mathbb{R}^{n}$. Consider the class
$$
\mathcal{F}=\{f\in L^{1}(\Omega):\exists C>0 \text{ s.t. } \int_{U}|f|\leq C\sqrt{|U|},\text{ for any }U\subset \Omega.\...
- 21
2
votes
2
answers
952
views
Differentiability of Nemytskii operator on Sobolev space
I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
- 201
2
votes
1
answer
389
views
Intersections of algebraic surfaces with hypercubes of a $d$-dimensional grid
This is a follow-up question, to a question I asked earlier.
See Algebraic curve intersecting square-grid.
Consider $n^d$ unit hypercubes in $d$-dimensional Euclidean space
tightly packed in the ...
- 479
2
votes
0
answers
77
views
Homomorphism of composition to additive structure
Consider the following topological groups
$\operatorname{Homeo}(\mathbb{R}^d)$ be the topological group of all homeomorphism from $\mathbb{R}^d$ onto itself; equipped with the compact-open topology (...
- 5,405
2
votes
1
answer
193
views
A question on the partial sum of infinite doubly stochastic matrix
Let $A=(a_{ij})$ be an infinite doubly stochastic matrix. Is the following statement true ?
$$
\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^n\sum_{j=1}^na_{ij} >0
$$
Any reference or comment on this is ...
- 171
2
votes
1
answer
289
views
On semi-discrete Wasserstein distance
Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$, where $\nu$ has a bounded support. Consider the $2-$Wasserstein distance below:
$$...
- 345
2
votes
1
answer
433
views
bounding the absolute value of a trigonometric polynomial
Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
\...
- 859
2
votes
1
answer
113
views
Continuous inclusion of metric spaces of smaller capacity
If $(X,d_X)$ is a compact metric space, and $(Y,d)$ is another metric space. Moreover, suppose that the metric capacity of $(Y,d)$ is at-least that of $(X,d_X)$, that is
$$
\kappa_X(\epsilon)\leq \...
- 5,405
2
votes
2
answers
190
views
One-Sided Analyticity Condition Guarantees Analytic Function?
Let $f \ \colon \ [0,\infty) \to \mathbb{R}$ be a function satisfying:
$f$ is differentiable infinitely many times in $(0,\infty)$, and has a right-derivative of any order at $0$.
$f$ satifsfies the ...
- 403
2
votes
2
answers
4k
views
a limit of the laplace transform and its derivative
If $\phi(s)$ is the Laplace tranfrom of $f(t)$, then $\lim_{s\rightarrow \infty} s\phi(s) = f(0^+)$. and also $\lim_{\rightarrow \infty} s\phi'(s) = \lim_{t\rightarrow 0^+}tf(t)$ since $\phi'(s)$ is ...
2
votes
1
answer
130
views
Uniformly Converging Metrization of Uniform Structure
This is related to trying to resolve the currently faulty second part of my answer to this question, but is by itself a purely real analysis question.
Let $X$ be a set with a uniform structure ...
- 12.5k
2
votes
2
answers
2k
views
convergence of the infima of convex functions
Can one give a reference to a result like this:
If a sequence of convex functions $f_{n}$ on $\mathbb{R}$ converges pointwise to a non-monotonic function $f$, then $\displaystyle\inf_{\mathbb{R}...
- 128k
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
2
votes
2
answers
258
views
Meromorphic extension of solutions to ODEs
I encountered the following question in my studies:
Let us assume we have a real anlaytic solution to an ODE on $\mathbb{R}$ of Schr\"odinger type
$-\psi''(x)+V(x)\psi(x)=\lambda \psi(x)$
but we ...
- 167
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 1,209
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\...
- 339
2
votes
1
answer
249
views
linear recurrence inequality
Given two real analytic functions, $g(x)$ and $f(x)$, on an open interval $I\subset \mathbb{R}$, it is obvious that $g(x) \leq f(x)$ does not imply $g_n \leq f_n$ (here $g_n = [x^n] g(x)$ denotes the $...
- 145
2
votes
1
answer
160
views
Can there be a numerical system in which logarithms can be expressed in terms of exponentials in closed form?
The invention of complex numbers allowed to express trigonometric functions through hyperbolic ones in closed form.
Is there possible an extension of real/complex numbers in which logarithms and ...
- 10.1k
2
votes
1
answer
260
views
Squaring a semi-convergent series
Let $S=\sum_{n=1}^\infty a_n$, be a semi-convergent series with $T=\sum_{n=1}^\infty a_n^2 < \infty$ and $\sum_{n=1}^\infty |a_n|=\infty$. Under which conditions are the following formulas valid? ...
- 3,098
2
votes
2
answers
494
views
Polynomial approximation (Weierstrass theorem) with bounds
Consider the closed interval $[0,1]$ and let $f \in C[0,1]$. Let $g$ be a real valued function on $[0,1]$ such that $g \leq f$.
Suppose $g = f$ at atmost finitely many points. Does there exist a ...
- 431
2
votes
1
answer
497
views
Truncated Euler products, Dirichlet eta function, and convergence issues
Can you prove that the following series does not converge if $\frac{1}{2}<\sigma<1$, no matter how close to $1$ sigma is, and no matter how large $t>0$ is? The series is defined as
$$W(\sigma,...
- 3,098
2
votes
1
answer
107
views
Lower bounds on translates of a function over a compact set
Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. Let $K\subset\mathbb{R}$ be a compact set. I would like to compute (or at least lower bound) the following:
$$
\inf_{\theta\ne\theta'\...
- 45
2
votes
1
answer
157
views
Is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane almost surely?
Let $d = 2$. With probability $1$, is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane?
user75246
2
votes
1
answer
154
views
Smooth conditional expectation with nonsmooth "reverse"
I am looking for a concrete example of the following: $(X,Y)$ are real-valued random variables such that:
$E[Y|X]$ is smooth
$E[X|Y]$ is discontinuous
Even better, I'd like to see an example where ...
- 23
2
votes
0
answers
144
views
Does this geometric PDE have a solution?
Let $s(\theta), b(\theta)$ be two smooth non-constant real-valued functions on $\mathbb{S}^1$, and assume that $s$ never vanishes.
Does there exist a map $h:(0,1) \times \mathbb{S}^1 \to \mathbb{S}^1$,...
- 6,741
2
votes
1
answer
144
views
Do we have independence if we let the indices of the events increase?
Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space.
Consider events indexed by $m, n \in \mathbb N$:
$ \ \ \ \ \ \ \ \ \ \ \ A_{1,n}, A_{2,n}, A_{3,n} ...$ are n-wise independent.
$A_{m,1}...
- 247
2
votes
1
answer
677
views
Lipschitz continuity of an implicit function
Let $z=F(x,y)$ be a function from $\mathbb R^d\times \mathbb R$ to $\mathbb R$ and $z=F(x,y)$ is Lipschitz continuous. Assume that for any $x\in\mathbb R^d$, there is a unique $y$ such that $F(x,y)=0$....
- 601
2
votes
1
answer
101
views
Convergence of energy of Sobolev functions near the boundary
Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. $h\in W_0^{1,2}(B_0(1))$. For $r\in (0,1)$, define a function $f_r(x):[0,1]\rightarrow \mathbb R$ by
\begin{equation}
f_r(x):=
\begin{cases}
...
- 169
2
votes
2
answers
218
views
Convergence for a non-linear second order difference equation
In my work, I need to study the convergence of sequence defined by the non-linear recurrence relation
$$
u_0,u_1>0, \qquad \forall n\in \mathbb N, \; u_{n+2}=a\ln(1+u_n)+b\ln(1+u_{n+1})
$$
with ...
- 1,503
2
votes
1
answer
273
views
Is it always possible to partition $[a,b]\times[c,d]$ into disjoint blocks $D_{ij}$ s.t. $\left.f\right|_{D_{ij}}$ is bijective?
Consider the function given by $f:[a,b]\times[c,d]\to[0,1]^{2}$ such that $0\leq a < b \leq 1$, $0 \leq c < d \leq 1$.
Moreover, we do also have that $f\in C^{1}([a,b]\times[c,d],[0,1]^{2})$ and ...
user127351
2
votes
1
answer
154
views
Is the optimum of this problem convex in the constraint parameter?
Let $f:\mathbb R^+ \to \mathbb R$ be a smooth function, satisfying $f(1)=0$, and suppose that
$|f|$ grows with the distance from $1$: $|f(x)|$ is strictly increasing when $x \ge 1$, and strictly ...
- 6,741
2
votes
0
answers
190
views
What is the smallest dimension that allows finding $n$ points at distances $|x_i-x_j|^{\delta/2}$, where $0<\delta<1$, and $x \in \mathbb{R}^n$?
Let $x_1,\cdots,x_n \in \mathbb{R}$, are there $\xi_1,\cdots,\xi_n \in \mathbb{R}^s$, such that
$|x_i-x_j|^{\delta}=||\xi_i-\xi_j||^2$, $0<\delta<1$, what is the smallest $s$ to guarantee the ...
- 178
2
votes
2
answers
634
views
Continuous upper envelope of upper semicontinuous function
Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...
- 1,399
2
votes
0
answers
274
views
Smoothness of coefficients of remainder term in Taylor expansion
Given a $C^{k}$ function $f:\mathbb{R}^d\to\mathbb{R},$ we can use Taylor's theorem to write it as
$$f(x)=\sum_{|\alpha|\le k-1} c_\alpha x^\alpha + R(x),$$
where $R$ is $C^k$ and can be expressed ...
- 203