All Questions
709 questions
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 121
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
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
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
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
1
vote
0
answers
71
views
Continuous injection of metric ball into Euclidean ball
This is a follow-up to this post.
Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by
$$
\kappa_X(\epsilon)\triangleq\sup\left\{
k : \exists x_0,\dots,x_k \...
- 5,405
1
vote
1
answer
518
views
Interpolation between Schatten classes
I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
- 305
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...
- 135
1
vote
1
answer
234
views
Zeroes of elementary polynomials without involving closed-form solutions
Consider the following two polynomials, where $n$ is an integer:
$$
p_n(x) = x^3-\frac1nx-\frac2n, \\
q_n(x) = x^2-\frac2n.
$$
For any $n$, let $x_p=x_p(n)$ and $x_q=x_q(n)$ be the unique positive ...
- 21
1
vote
2
answers
90
views
Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 835
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
1
vote
1
answer
236
views
Continuity of the solution of a Pde system
Let $\rho_1:[0,1]\to [0,1]$ and $J:\mathbb R\to \mathbb R^+$ both continuous and bounded.
I have the following system of PDE's
\begin{align}
\begin{cases}
\frac{\partial}{\partial t} u_0(t,r)=- J* ...
- 139
1
vote
1
answer
162
views
Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?
Ian Morris quoted the following:
For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
- 623
1
vote
1
answer
136
views
On a case of real-analytic interpolation
Given strictly increasing sequence $x_n$ of rational numbers with $\sup x_n = x$.
In which case (sufficient condition on $x_n$) there exists real-analytic function $f:U_\epsilon(0)\to\mathbb{R}$ ...
- 1,133
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 178
1
vote
0
answers
56
views
Extension of this maximisation problem : finite or not?
$\mathcal M$ is the space of real $d\times d$ matrices and $\mathcal S\subset \mathcal M$ is its subset consisting of positive semidefinite elements. We consider the distance the product space $\...
- 1,389
1
vote
0
answers
123
views
Generalization of concave envelope
Let $g:\mathbb R_+\to\mathbb R$ be a measurable function (which could be supposed to be bounded and Lipschitz if required). Let $\mathcal P$ be the collection of probability measures $\mu$ on $\mathbb ...
- 1,835