All Questions
5,909 questions
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}$ ...
- 21.6k
9
votes
0
answers
979
views
Strong convexity of the trace of the square root of a matrix function
Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
- 52.4k
1
vote
0
answers
98
views
Poincaré lemma for gradient times its transpose
Poincaré lemma states that a vector $v_i(x)$ defined on a ball in $R^n$ is the gradient of a function if and only if
\begin{equation}
\partial_i v_j = \partial_j v_i
\end{equation}
or equivalently ...
- 3,486
1
vote
0
answers
65
views
Real-analytic function with given set of values [closed]
We say that a strictly increasing sequence $x_n$ of reals converges fast
to $x$, if for each $k\in\mathbb{N}$ the sequence $n^k\cdot(x_n − x)$ is
bounded. It is known that there exists a $C^\infty$-...
- 1,133
23
votes
1
answer
3k
views
Does the average primeness of natural numbers tend to zero?
This question was posted in MSE. It got many upvotes but no answer hence posting it in MO.
A number is either prime or composite, hence primality is a binary concept. Instead I wanted to put a value ...
- 7,193
6
votes
2
answers
251
views
uniform approximation by a particular set of functions
Consider the interval $[0,1]$ and let $\mu_k(t)$ with $k=1,\ldots,n$ be continuous functions such that they are all strictly increasing on the interval $[0,1]$ and such that $\mu_1(t)<\mu_2(t)<\...
- 60.6k
1
vote
1
answer
237
views
Formal justification of the Chaos game in the Sierpinski triangle
I want to justify why the Chaos game works to produce Sierpinski triangle. I use a theorem taken from Massopust Interpolation and Approximation with Splines and Fractals.
Suppose that $(X,d)$ is a ...
CommunityBot
- 1
3
votes
1
answer
168
views
Real analytic function of one variable with given set of values
Given two strictly increasing bounded sequences of reals $x_n$ and $y_n$. What is known about existence of real analytic function $f$ with property $f(x_{n_k})=y_{n_k}$ for some subsequence $x_{n_k}$ ?...
- 1,133
11
votes
2
answers
552
views
Smoothness of finite-dimensional functional calculus
Assume that $f:\mathbb R\to\mathbb R$ is continuous.
Given a real symmetric matrix $A\in\text{Sym}(n)$, we can define $f(A)$ by applying $f$ to its spectrum. More explicitly,
$$ f(A):=\sum f(\lambda)...
- 1
1
vote
0
answers
188
views
Questions on Riemann's explicit formula
If we consider this version of the prime-counting function
$$\pi_0(x) = \frac{1}{2} \lim_{h\to 0} (\pi(x+h) + \pi(x-h))$$
(with $\pi$ being the normal prime-counting function), then we can write $\...
- 749
1
vote
1
answer
198
views
Comparison of two integrals
Let $S(x)$ be continuous, differentiable, and such that $S(x)=O(x/\log x)$. Let $J(x)=\int_x^{\infty} \frac{S(y)(1+\log y)}{y^2\log^2 y}dy$ and let $K(x)=\int_x^{\infty}\frac{S(y)}{y^2}dy$. Let $K(2)...
- 24.2k
1
vote
1
answer
381
views
Is this operator invertible?
Let $T(t)$ be a strongly continuous semi-group on a Banach space $X$, and let $A(\cdot)\in C(0,\tau; \mathcal{L}(X))$ for some $\tau>0$. The operator $G:C(0,\tau;X)\to C(0,\tau;X)$ maps every $h\in ...
- 12.6k
0
votes
1
answer
184
views
Sufficient and necessary condition for the global uniqueness of fix-points
https://www.ams.org/journals/proc/1976-060-01/S0002-9939-1976-0423137-6/S0002-9939-1976-0423137-6.pdf
This paper gives a sufficient condition for the uniqueness of SCHAUDER fix point. I wonder if ...
- 54.2k
0
votes
1
answer
200
views
Is the function $f(x=\sum a_n/2^n)=\sum na_n/2^n$ continuous and nowhere differentiable? [closed]
Let $x=\sum_{1<=n<\inf}a_n/2^n$ be the binary expansion of a real number in [0,1]. Assume that infinitely many of a_n are 0 so that the expansion is unique.
Define $f(x)=\sum_{1<=n<\inf}...
1
vote
1
answer
446
views
Upper bound of a ratio of integrals
I'm wondering how to upper bound the following ratio of integrals:
$$\frac{\int_{\Delta_a}(\prod_{i=1}^n\lambda_i)^{p-1}\prod_{i<j}|\lambda_i-\lambda_j|}{\int_{\Delta_b}(\prod_{i=1}^n\lambda_i)^{p-...
- 128k
4
votes
0
answers
100
views
Flow lines of a real analytic vector field convergent to a point
Let $X$ be a real analytic vector field defined on an open connected subset $U$ of $\mathbb{R}^n$. Let $p \in \mathbb{R}^n \setminus U$. Let $L$ be union of the flow lines $\ell$ of $X$ such that $p$ ...
- 366
2
votes
1
answer
122
views
Box dimension as the critical value of the fractal content
Let $M \subseteq \mathbb{R}^n$ be bounded and $N_{\epsilon}(M)$ the minimum number of 'squares' of side $\epsilon$ with center in M necessary to cover $M$. The box dimension of M is then defined as $\...
CommunityBot
- 1
3
votes
0
answers
136
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
CommunityBot
- 1
10
votes
1
answer
902
views
Approximation of a compactly supported function by Gaussians
Let $f:\mathbb{R}\to\mathbb{R}$ be a smooth function whose support is a closed interval, e.g. $\text{supp}(f)=[a,b]$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian ...
- 710
2
votes
0
answers
386
views
Is the Fourier transform of a measurable function as a tempered distribution necessarily a complex Borel measure?
Let $u\in\mathcal{S}'(\mathbb{R}^n)$. Suppose that $u$ is also a measurable function on $\mathbb{R}^n$. Is it true that the Fourier transform $\hat{u}$ as a tempered distribution is always a complex ...
- 183
2
votes
2
answers
236
views
$q$-factorial coefficient asymptotics
Consider the $[n]!_q = \prod\limits_{k = 1}^{n} \frac{q^k - 1}{q - 1} = \sum\limits_{k = 0}^{\binom n 2} c_k q^k$ and let $\{f_n\}_{n \in \mathbb{N}}$ be the sequence of the functions on $[0; 1]$ ...
- 50.8k
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^{+}$ ...
- 93
7
votes
2
answers
1k
views
Maximize $L^p$ norm over sphere
For $p \in \mathbb{R}$, consider the function
$$F_p(\lambda_1, \dots, \lambda_n) = \lambda_1^p + \dots + \lambda_n^p.$$
My goal is to maximize this function under the constraints that
$$ \lambda_1^2 +...
- 2,286
1
vote
0
answers
135
views
About the sum of prime reciprocals
Let $B$ be the Meissel-Mertens constant., $\theta$ the Chebyshev theta. Let $S(x)=\sum_{p\le x}1/p$, $p$ prime. Let $M(x)=S(x)-\log\log x-B$. Robin, and later Diamond and Pintz, showed that $M(x)$ ...
- 1,018
0
votes
0
answers
221
views
Positivity of an integral
Let $f(x)=x-\theta(x)$, and for $x\ge 2$ let $J(x)=\int_x^{\infty}\frac{f(y)(1+\log y)}{y^2\log^2 y}dy$. Furthermore, $J(2)>0$. Suppose $J(x)>0$ when $f(x)=0$. Does it follow that $J(x)>0$ ...
- 1,018
3
votes
0
answers
132
views
A new characterization of Riemann-Integrability
Question :
Given two bounded functions $\,f:[a,b]→\mathbb{R}\,$
and $\;θ:(0,b−a]→[0,1]$.
Suppose $\,P:a=x_0<x_1<⋯<x_n=b\;$ is a partition of $\,[a,b]$.
Let $\,Δx_k=x_k−x_{k−1}\,$ and $\,\...
- 31
1
vote
0
answers
77
views
Smoothness of a periodization [closed]
If you are given a smooth function, how to verify whether its priodization is well-defined and also smooth (or not)?
For instance, suppose, there is a series
$$
f(x) = \sum_{n=-\infty}^{\infty}e^{-\...
2
votes
0
answers
100
views
Roots of a partially holomorphic function
Let $\Omega$ be an open subset of $\mathbb R^d$, let $U$ be an open subset of $\mathbb C$ and let $f:\Omega\times U\rightarrow\mathbb C$ be a $C^\infty$ function which is holomorphic with respect to $\...
- 63.9k
1
vote
0
answers
88
views
Approximating $3SAT$ by polynomials
Given $3SAT$ formula $\phi$ in $n$ variables and a $\mu\in(0,1/2)$ what is the smallest degree of polynomial $f\in\mathbb Z[x_1,\dots,x_n]$ such that for an $(a_1,\dots,a_n)\in\{0,1\}^n$ if $\phi(a_1,\...
- 63.9k
1
vote
1
answer
211
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
- 9,007
7
votes
1
answer
746
views
Is Gram-Schmidt on a separable Hilbert space operator norm continuous?
Let $\mathcal H$ be a separable Hilbert space, with inner product $\langle\cdot,\cdot\rangle$, and with orthonormal basis $(e_i)_{i\in\mathbb N}$. Consider a continuous linear embedding $A\colon\...
CommunityBot
- 1
0
votes
1
answer
243
views
a counter-example of a holomorphic extension
Suppose $f$ a function holomorphic on the unit bidisk $\mathbb{D}\times \mathbb{D}$, such that $f$ is $\mathcal{C}^{\infty}$ on $]-1,1[\times\partial\mathbb{D}$, and has holomorphic extension on $\...
- 63.9k
3
votes
2
answers
113
views
Rate of convergence for eigendecomposition
Consider the discrete Dirichlet Laplacian on a set of cardinality $n.$ For example the Dirichlet Laplacian $\Delta_D$ on a set of cardinaltity 4 is the matrix
$$\Delta_D := \left( \begin{matrix} 2 &...
- 20.2k
4
votes
1
answer
129
views
Convergence of a real sequence (stochastic approximation)
Let $(\gamma_n)_{n \geq 1}$ be a sequence of positive real numbers satisfying $$\sum_{n \in \mathbb{N}}\gamma_n = + \infty \text{ and }\sum_{n \in \mathbb{N}}\gamma_n^2 < + \infty$$
I would like ...
CommunityBot
- 1
3
votes
1
answer
315
views
Where to find the proof of this property?
I am doing some exercises in the analytic and there is a problem as following:
``Let $\{f_n\}_{n \in \mathbb{ N}}$'' to be a positive sequence such that:
$\sum\limits_{n=1}^{+\infty} f_n = 1$.
$\...
- 128k
2
votes
0
answers
148
views
Approximation of functions in $L^p(R^d;L^\infty)$
Assume that the function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$. Can we find a class of functions $f_n\in C_b^2(R^d;L^\infty(B_R))$ such that
$$...
- 411
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_{...
- 1,277
1
vote
3
answers
207
views
Existence of solution to linear fractional equation
We consider the equation
$$ \sum_{j=1}^n \frac{\lambda_j}{x-x_j} =i$$
where $\lambda_j>0$ and $x_j$ are real distinct numbers.
I want to show that if $\lambda_k$ is small compared to the ...
- 91.8k
12
votes
1
answer
1k
views
A question concerning Lusin’s Theorem
We consider only the set $M$ of a.e. essentially locally bounded measurable functions $[0, 1] \to \mathbb R$. Here $m(S)$ denotes the Lebesgue measure of $S$.
Let $f$ be measurable. For every $e$ in $...
- 42k
1
vote
0
answers
61
views
How to see the divergence of a series is not faster than some order? [closed]
$$
\sum_{m=1}^{n} m^{-1+1/p} \leq Cn^{1/p}
$$
For $1<p<2$, I know the LHS is divergent but I can't see its speed of divergence is not faster than $n^{1/p}$.
- 35.5k
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
2
votes
1
answer
255
views
An isoperimetric inequality for curve in the plane?
Let $f(x,y)=0$ be a (smooth) simple closed curve $C$ on the plane and $R$ the region bounded by $C$ (appropriately oriented). Assume the origin lies in the interior of $R$.
QUESTION. Let $r=\sqrt{x^...
CommunityBot
- 1
8
votes
0
answers
256
views
Structural Stability on Compact $2$-Manifolds with Boundary
I'm studying the structural stability of vector fields and I'm interested in learning about this phenomenon on compact $2$-manifolds with boundary.
Let $M^2$ be a compact connected 2-manifold and $\...
- 333
6
votes
1
answer
223
views
Asympotic density of a very simple sequence
Let $A=\{mn(m+n)\mid n,m\in \mathbb{N}_0\}$. Sorted, this is OEIS sequence A088915. What is its asymptotic behavior? It seems approximately $a(n)=O(n^{1.5})$, but not quite.
I'm actually even more ...
- 26.9k
2
votes
0
answers
80
views
Generalized definition of integrable condition on rough complex subbundle
Assume object are smooth at first. If we consider real subbundle, we can define integrability in terms of parameterization or coordinate.
A rank $r$ real subbundle $\mathcal V\le TM$ is called ...
- 366
4
votes
0
answers
634
views
A simple proof of Jordan curve theorem [closed]
I need a short proff of the Jordan curve theorem please.
The one I have is 16 pages long and is for a little expo, so I need one a little shorter.
Thanks
- 366
6
votes
2
answers
1k
views
Properties of heat equation
** I simplified the question: **
On bounded domains, the maximum principle implies that the solution to the heat equation is (strictly) positive, if the initial and boundary data is positive.
I ...
- 4,899
1
vote
0
answers
125
views
Convergence to a $C^\infty$ function
For every $\epsilon \in [0, 1)$ and $n$ in $\mathbb N$, let $g(n, \epsilon)$ be a function $\mathbb R \to \mathbb R$.
Suppose for all $\epsilon \in [0, 1)$, $g(n, \epsilon)$ is $C^n$ smooth and that ...
- 2,079
2
votes
1
answer
127
views
Variation of trace of symmetric powers
Consider the space $\mathrm{SU}(2)^\natural$ of conjugacy classes in $\mathrm{SU}(2)$. It has a natural identification with the interval $[0,\pi]$ with Haar measure $\frac{2}{\pi} \sin^2\theta\, \...
- 188k
0
votes
1
answer
244
views
Proving that $\|\mathbf{T}^n\|^2=\sum_{g\in \mathbf{G}(n,d)}\|\mathbf{T}_g\|^2\,$
Let $F$ be a complex Hilbert space and $\mathcal{B}(F)$ be the algebra of all bounded linear operators on $F$.
For ${\bf A} = (A_1,...,A_d) \in \mathcal{B}(F)^d$, the norm of ${\bf A}$ is given by
$...
- 724