All Questions
1,499 questions with no upvoted or accepted answers
0
votes
0
answers
111
views
Sum power series not continuous unit circle
This is (probably) not a research question and I already asked it on StackExchange but I got no answer over there.
Let us consider the sequence $(a_n)_{\geq 1} = \left(\frac{\cos(2\sqrt{2n}+\frac{\pi}{...
- 7,300
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
0
votes
0
answers
107
views
$\log$-classes of irrationals
Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
- 48.9k
0
votes
0
answers
108
views
linear span of linear in C_0(R)
We consider the set $C_0(\mathbb R)$ of real continous functions $f:\mathbb R\rightarrow \mathbb R$ with $\lim_{|x|\rightarrow \infty}f(x)=0$ endowed with the supremum norm.
Is there $f\in C_0(\mathbb ...
- 1
0
votes
0
answers
317
views
What is the "best" good kernel?
A family of functions $k_n(x):[-\pi,\pi]\to \mathbb R$ for $n\in \mathbb N$ is said to be a good kernel if all the following are satisfied:
$\frac{1}{2\pi }\int_{-\pi}^\pi k_n(x) \, \mathrm d x=1$,
$...
- 3,062
0
votes
0
answers
120
views
The sufficient condition for a function equals to zero when it vanishes in an open set
For the class od analytic functions in one variable, there is an identity theorem: "If two holomorphic functions $f$ and $g$ on a domain $D$ agree on a set $S$ which has an accumulation point $c$ ...
- 101
0
votes
0
answers
175
views
Does l2 projection of sequences preserve l1 norm convergence?
Let $\ell^2$ denote the set of square summable sequences with inner product $\langle x,y\rangle=\sum_{i=1}^{n}x(i)y(i)$ and $\ell^2$ norm $\|x\|_2=\sqrt{\langle x,x\rangle}$. Let $\|x\|_1=\sum_{i=1}^{\...
- 45
0
votes
0
answers
85
views
Lagrange's interpolating polynomial
Let $f:[a,b]\rightarrow R$ be a function that is not $C^{(n+1)}$ on $[a,b]$ but its $n$-th derivative is a Lipschitz function? How does the Lagrange's interpolating polynomial formula change? How does ...
- 1
0
votes
0
answers
124
views
Calculation of first correction to Selberg type integral
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\Tr{Tr}\DeclareMathOperator\arcsinh{arcsinh}$Let $U \in G$, where $G$ is $\SU(N)$ matrix.
$\Tr U$ will denote the character ...
0
votes
0
answers
342
views
Main ideas behind the proof of the Carleson theorem
I tried to read a few years ago the book "Pointwise Convergence of Fourier Series" (Springer, Juan Arias De Reyna) which is a detailed proof of the Carleson theorem, but I was lost after a ...
- 587
0
votes
0
answers
142
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
0
votes
0
answers
155
views
Implicit function theorem on curves
I am trying to figure out, whether the IFT can be generalized to curves. Let's say I have a function $G(x,u)$ mapping $\mathbb{R}^{n+m}\rightarrow \mathbb{R}^n$ with invertible jacobian $\frac{\...
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
168
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
- 537
0
votes
0
answers
130
views
Solution to the integral of Bessel $\int^1_0 x \sin(a x) J_1 (b x) dx$
I've been trying to work out the solution of this integral. I have seen in the Gradshteyn (6.669(9)) a similar integral:
\begin{equation}
\int_0^1 x^\nu \sin(a x)J_\nu(a x)dx= \frac{1}{2\nu+1}\left[\...
0
votes
0
answers
251
views
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?
Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$.
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
- 521
0
votes
0
answers
53
views
$\displaystyle\dfrac{a(x)}{x^{2}}\int_{0}^{x}b(\tau)d\tau \sim \dfrac{2}{1-\alpha}\dfrac{\sqrt{a(x)}}{x^{3/2}}, \ \text{when} \ x \to 0.$
Knowing that $b,a \in C^{0}((0,L]) \cap C^{1}((0,L))$, are positive and $b(x) = \dfrac{1}{\sqrt{xa(x)}}$. Assume that $0 < \alpha < 1$ and
$$
\int_{0}^{x}b(\tau)d\tau \sim \dfrac{2}{1-\alpha}\...
- 241
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 521
0
votes
0
answers
174
views
Lipschitz map on positive definite cone of $n$-by-$n$ matrices
A function matrix $f : X \to \mathbb R$ is a convex Lipschitz continuous matrix function with Lipschitz constant $\mathrm L$ with respect to a fixed given norm $\|\cdot\|$, i.e., $|f(A)-f(B)| \leq \...
- 91
0
votes
0
answers
80
views
An interpolation of $n!$ such that its derivatives have few zeros
The $\Gamma$-function restricted to $(0,+\infty)$ has the following properties:
$\Gamma(n)=(n-1)!$ for $n=1,2,3,...$.
The $k$'th derivative $\Gamma^{(k)}$ has no zeros on $(0,+\infty)$ when $k$ is ...
- 700
0
votes
0
answers
134
views
From convergence pointwise to convergence of the supremum for semicontinuous functions
Let $K\subset\mathbb{R}$ a compact set, and $(f_n)_{n\geq 1}$ and $f$ upper semicontinuous functions over $K$ (taking hence values in $\mathbb{R}\cup\{-\infty,+\infty\}$) such that for all $x\in K$, ...
- 449
0
votes
0
answers
46
views
Taming families of rate functions
$\newcommand\R{\mathbb R}$Let us say that a function $r\colon\R_+\to\R_+$ is a rate function if $r$ is nondecreasing and $r(x)\to\infty$ as $x\to\infty$.
Let us say that a family $(r_j)_{j\in J}$ of ...
- 128k
0
votes
0
answers
62
views
Terminology: maps which are bi-Lipschitz on compact subsets
Let $X$ and $Y$ be metric spaces and let $f:X\rightarrow Y$ be such that: for every compact subset $K$ of $X$ the restricted map $f|_K:K\rightarrow Y$ defined by $f|_K(x)=f(x)$ is bi-Lipschitz (with ...
- 5,405
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
- 8,998
0
votes
0
answers
67
views
Asymptotic behavior of the square Generalized Laguerre polynomial
The asymptotic begavior of the Generalized Laguerre polynomial is given in the Book " Formulas and theorems in the special functions of mathematical physics. Berlin: Springer-Verlag; 1966" ...
0
votes
0
answers
115
views
Parseval identity extension?
I have stumbled upon the following three-dimensional series:
$$\Lambda_p = \sum_{\underline{n}} \left(\frac{\left|n_1\right|}{\left|\left|\underline{n}\right|\right|_2}\right)^p \left|\hat{f}(\...
- 21
0
votes
0
answers
80
views
Alternative to the Sampling Theorem / Invertible transform with sampling criteria
I seek a transform $T$ that operates on real-valued $x(t)$, that
Is perfectly invertible
Has discrete counterpart with continuous reconstructor
Provides conditional reconstruction guarantees
...
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
- 449
0
votes
0
answers
59
views
Is $g = \sum_{n \in \mathbb{Z}} f(\cdot - n)$ continuous if $f$ is vanishing, continuous, and integrable?
Let $f \in \mathcal{C}_0(\mathbb{R}) \cap L^1(\mathbb{R})$ be a continuous and integrable function such that $f(x) \rightarrow 0$ when $|x|\rightarrow \infty$.
The sequence of a functions $f_N = \sum_{...
- 2,306
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
0
answers
52
views
How to know if two special functions are related by an elementary function?
Suppose I have two special functions $f_1$ and $f_2$. Is there an algorithm which can tell me whether there exists elementary $g$ such that $f_1 = g\circ f_2$? Furthermore, is there any possibility to ...
- 333
0
votes
0
answers
42
views
Conditions on a set implying properties on neighborhoods
Suppose $F$ is a closed set in a Euclidean space, and for $\epsilon>0$, let $V_\varepsilon$ be the $\varepsilon-$neighborhood of $F$ i.e. the set of points $x$ having a distance less than $\...
- 411
0
votes
0
answers
136
views
Fractional Laplacian of smooth cut off functions
Suppose we have a smooth compactly supported function $\phi\in C^{\infty}_c(B_\epsilon(0))$ such that $0\leq \phi \leq 1$, $\phi\equiv 1$ on the unit ball and $\phi$ vanishes outside $B_\epsilon(0).$
...
- 537
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 4,058
0
votes
0
answers
146
views
looking for an explicit expression for an integral
I was trying to solve EDP through my computations I have found the following indefinite integral $\int (1+x^2)^{-2/3}\,dx$.
Is there any way to write this expression explicitly?
- 35
0
votes
0
answers
99
views
Does $\sum_{m=0}^{\infty} \left|c_m g(x)^{2m+1}\right|$ converge absolutely to an integrable function?
Consider the integral
\begin{equation}
\int_{0}^{t}J_1(f(t)-f(s))\mathop{ds}=\int_{0}^{t}\sum_{m=0}^{\infty} c_m (f(t)-f(s))^{2m+1}\mathop{ds},
\end{equation}
such that $J_1$ is the Bessel function of ...
- 79
0
votes
0
answers
148
views
A Grönwall-type inequality for $u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s$?
Quick question: Are we able to show a Gronwall-type inequality assuming that $$u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s,$$ where $\alpha$ is nondecreasing (or constant) and $\beta$ is ...
- 167
0
votes
0
answers
112
views
How to prove or disprove $ |r'(a)| \leq c_1 \sup_{x \in [a-1/2,a+1/2]} |r(x)|$?
Let $ A = \begin{bmatrix}
a & 1 \\ 0 & a
\end{bmatrix}$ be a Jordan matrix with $ -1 < a < 1 $.
Let $r(z) = \frac{p(z)}{q(z)}$ be an irreducible rational function, where $p(...
- 101
0
votes
0
answers
112
views
Fixed point of a contraction map
This question is a continuation of Is this a contraction mapping for small $T$?
Set, for $T, m>0$, $H^m_T:=\{h:[0,T]\to [0,m]:~ h,~h' \mbox{ are both continuous on } [0,T]\}$ endowed with the norm
$...
- 1,334
0
votes
0
answers
148
views
About the theorem of Weierstrass?
Is $E=Vect\{1,x,x^2,...,x^{2^n},...\}$ dense in $C([0,1])$ for the uniform norm?
While looking for a short proof for Weierstrass' theorem, I came across this justification(*) (which shows this result)...
- 4,074
0
votes
0
answers
84
views
Determining the tails of a convolution from its behavior on a compact set
Let $p$ be a smooth (say, $C^\infty$, but this is not crucial) density on the interval $I=[0,1]$ and $g_\sigma$ be the density of $N(0,\sigma^2)$. Define $f=p\ast g_\sigma$. To what extent does the ...
- 19
0
votes
0
answers
83
views
An inequality about quasi-linear function
Let $\gamma$ be a positive, nondecreasing, continuous, function defined on $[0,\infty]$. Suppose that $\gamma(x+y)\le C(\gamma(x)+\gamma(y))$. In addition, suppose $$ \int_{2}^{\infty}\frac{dr}{\gamma(...
- 171
0
votes
0
answers
165
views
Compact embedding of Lipschitz continuous functions
Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
- 3,388
0
votes
0
answers
177
views
On connectedness of the complement
In the application of Runge type theorems on the approximation of functions with some regularity on a neighborhood of a compact, it is interesting to know whether the complement of a compact has ...
- 411
0
votes
0
answers
67
views
LLN of random nearest neighbor function
There are two samples of iid random variates: $X=\{X_1,X_2,...,X_n\}$ and $Y=\{Y_1,Y_2,...,Y_n\}$. Further, $\forall i,j: X_i$ is independent of $Y_j$. The probability distributions $P,Q$ are unknown ...
- 89
0
votes
0
answers
132
views
Integral kernel of resolvent of Sub-Laplacian?
Consider the Laplacian $-\Delta: C^\infty (S^1) \to C^\infty(S^1)$ where $\mathbb R/\mathbb Z=S^1$ and for a periodic function $f:\mathbb R\to\mathbb R$ we have $-\Delta f=-f''$.
For the orthonormal ...
0
votes
0
answers
134
views
The Limit of a Matrix Series
I have an invertible matrix $B$ and a diagonal (not necessarily invertible) matrix $D$ and I'm studying the series as $n\to\infty$ of $\frac{1}{n} B \sum_{k=0}^{n-1}( I - \frac{1}{n} B^T D B)^k B^T D$....
- 111
0
votes
0
answers
146
views
Harmonic measure of a punctured disc
Let $D$ be a disc in $\mathbb{C}\cong\mathbb{R}^2 $ and $z_0$ a fixed point of $D$. Is the harmonic measure for $V=D\setminus\{z_0\}$ known? Any reference would also be welcome.
- 411
0
votes
0
answers
48
views
Surjectivity of the limiting operator
Consider the operator
\begin{eqnarray*}
K_{n} &:&L^{2}(0,1)\longrightarrow L^{2}(0,1)^{n}, \\
u(x) &\mapsto &A_{n}U_{n}(x)=A_{n}(u(\frac{x}{n}),u(\frac{x+1}{n}),...,u(%
\frac{x+n-1}{n})...
- 617