All Questions
5,850 questions
0
votes
0
answers
271
views
Convolution Integral involving an unknown function
I've got the following problem I'm working on which is related to some of my research.
I am trying to solve the following equation for the function $f$.
$$t^{-\alpha} \exp{ \left(- \beta x^2 t^{-2 \...
- 291
4
votes
0
answers
131
views
Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$
Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
- 355
5
votes
1
answer
219
views
Uniqueness from orthogonality relation?
This question was posted yesterday on MathOverflow by Michael Smith and received a number of upvotes. I too think the question was interesting. However, for some unknown to me reasons, it has been ...
- 128k
2
votes
1
answer
363
views
Integration against Borel measures on compact Hausdorff spaces
I am studying the properties of integration against Borel measures and Baire measures. And I am not sure whether the following proposition is correct and I tried to give a proof.
Suppose that $X$ ...
- 165
2
votes
1
answer
129
views
A singular integral of several functions
While playing with some PDE I came across a singular integral that looks something like
$$T(f_1,f_2,\ldots,f_n)(x)=p.v.\int_{-\infty}^\infty\frac{(f_1(x)-f_1(y))(f_2(x)-f_2(y))\cdots(f_n(x)-f_n(y))}{(...
- 247
5
votes
1
answer
226
views
Multidimensional integrals that diverge by oscillation
It's not hard to extend the theory of integration over ${\bf R}$ so that the integral of any compactly supported function is its usual value, while the integral of $f(t) = \cos (at+b)$ (with $a \neq 0$...
- 19.7k
12
votes
1
answer
2k
views
Is the regularization of a Fourier transform unique?
The Fourier transform of the Coulomb potential $1/\vert \mathbf r \vert$ of an electric charge doesn't converge because one obtains
$$F(k)=\frac {4\pi}{k} \int_0^\infty \sin(kr) dr.$$
The standard ...
- 294
0
votes
2
answers
122
views
Root of a special rational function with positive coefficients
During my research I came across the following problem:
I need to find a root of the following function:
$$\Gamma_{N}(x) = \sum\limits_{i=0}^{M}\left(\frac{\sum\limits_{n=0}^{n_F}n\ \alpha_{i,n} x^n}{...
- 237
1
vote
1
answer
90
views
Inverting two paraboloid relations
Let's suppose we have two variables $(\alpha, \beta)$ on two functions $k_1, k_2$ that can be defined in terms of matrix relations:
$$
k_1 = \left| \xi^T \mathcal{F}^T \mathcal{F} \xi \right|
$$
$$
...
1
vote
0
answers
120
views
Interpolation functional for BV spaces?
Recently, while trying to tackle a problem, I found that it would be convenient that I could find some sort of 'interpolation theorem' for Bounded Variation Spaces. More specifically, let's define, ...
- 121
3
votes
2
answers
140
views
Sequence of subharmonic functions on shrinking domains
Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that
$$
\int_{G_\eta}|u_\eta|^2dx\wedge dy\...
- 527
-6
votes
1
answer
614
views
Proof of formula for $\pi$ [closed]
The number $\pi$ can be expressed as $\pi=\lim_{n\to\infty} \frac{n\sqrt[n]{-1}-n}{\sqrt{-1}}$ or more poetically $\pi=\frac{\infty\sqrt[\infty]{-1}-\infty}{\sqrt{-1}}$. Here we choose the principal ...
- 16.6k
21
votes
1
answer
3k
views
Density of polynomials in $C^k(\overline\Omega)$
Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
- 4,034
1
vote
0
answers
109
views
Pointwise convergence of a sequence of approximate limits of BV functions
So, let $\Omega\subset \mathbb R^2$ bounded and consider a sequence of functions $\{u_k\}_{k\in\mathbb N}\subset BV(\Omega)$ and $u\in BV(\Omega)$ such that $u_k\rightarrow u$ weakly* in $BV(\Omega)$. ...
3
votes
0
answers
91
views
Nonlinear smooth bijection from $\mathbb Q$ to itself [duplicate]
Is there a bijection $\phi: \mathbb Q \to \mathbb Q$ such that
$\phi$ is nonlinear: different from $ax+b$,
$\phi$ is smooth: the extension $\hat{\phi}$ of $\phi$ over $\mathbb R$ is $\mathcal C^2$ ?
...
- 303
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541
19
votes
2
answers
3k
views
Solutions-set first order ODE's without uniqueness
In short: What can we say about the set of all solutions of an ordinary differential equation (ODE) when we there is no uniqueness?
Consider the ODE
$f:D\to \mathbb{R}, \quad D\subseteq \mathbb{R}^2,$
...
- 3,574
1
vote
1
answer
278
views
Lower Matuszewska index of positive increasing $O$-regular functions
I am not sure if this question is too specific on notations (I think the question is intuitive, but basically the only reference I know with this kind of notations is Bingham, Goldie & Teugels ...
- 825
1
vote
0
answers
143
views
stochastically decreasing sequence converges in distribution
Let $(X_i)_{i=1}^\infty$ be independent nonnegative integer valued random variables. Suppose that $X_n \succeq X_{n+1}$ (in the stochastic dominance sense). Does it follow that $X_n \overset{d}\to X$ ...
- 457
1
vote
0
answers
69
views
Norm-averaging reference request
(Apology in advance for the broadness of this question) I recently came across a relatively simple application where I needed to "balance" the "spreaded-out-ness" of a function with the "peaked-ness" ...
- 123
3
votes
1
answer
133
views
Restrictions on spectral measure
Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$
Here $\...
- 587
0
votes
1
answer
55
views
On 1-iso maps and subsets of the unit circle
Let $S$ be the unit circle and for any $x,y \in S$ let $d(x,y)$ be the lenght of the smallest arc between $x$ and $y$. A bijective map $\phi : S\longrightarrow S$ is called 1-iso if the following ...
- 97
1
vote
0
answers
190
views
Roots of generalized homogeneous polynomials
A polynomial $P(\xi)$ of $n$ real or complex variables is homogeneous of order $m$ with respect to $\lambda \in \mathbb{Z}_{+}^n$ if $$P(\xi) = \sum\limits_{\substack{(\alpha, \lambda) = m \\ \alpha \...
8
votes
1
answer
242
views
Does infinitesimal variance imply continuity?
Let $u:[0,1]\to\mathbb{R}^n$ be a bounded Borel function.
It is well-known that if, for any compact interval $I\subseteq [0,1]$,
$$ \int_I|u-u_I|^2\le C|I|^{1+\alpha} $$
for some $C,\alpha>0$ (here ...
- 3,146
1
vote
0
answers
200
views
Differentiability criterion in the Zygmund class
Let $ f: \mathbf{R}^{m} \rightarrow \mathbf{R} $ be a continuous
function, $ \omega $ be a modulus of continuity and assume
$$ | f(x+h) +f(x-h) -2f(x) | \leq \omega(|h|)|h| $$
whenever $ x,h \in \...
- 541
0
votes
2
answers
664
views
Independence in mathematics
While trying to think about possible interesting notions of algebraic independance over a skew field, I am wondering where in mathematics appears the notion of being independent, or free over ...
2
votes
0
answers
84
views
limit multiple integral
I want to know if $\lim_{T-> \infty}$ of this integral
$$ \frac{\sigma^{4}C_{H,K}^{2}}{4 T^{4HK}e^{2\theta T }}\\
\times \int\limits_{[0,T]^{4}}e^{\theta(t_{1}-s_{1})}e^{\theta(t_{2}-s_{2})}\left\...
- 31
1
vote
1
answer
625
views
What are the spaces for which the Fourier transform is an automorphism? [closed]
this is well-known that the Fourier transform is an automorphism of $L^2(\mathbb R)$ and also of $\mathcal S(\mathbb R)$ (Schwartz space). Is there any other spaces of functions of one real variable ...
- 615
1
vote
0
answers
79
views
An inequality for integral on spheres
I have a question concerning to the integral on sphere. It's maybe true and simple but I don't know how to prove it. Could anyone have some suggestions? Thanks.
Denote $S^{n-1}$ the unit sphere in $R^...
- 379
1
vote
1
answer
129
views
$L^p$-bounding inequality [closed]
Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.
user64615
2
votes
0
answers
367
views
Eigenvalue perturbation of a symmetric matrix by a random orthogonal projection
Given fixed real symmetric $D\in\mathbb{R}^{n\times n}$ with $n$ distinct eigenvalues, let $U$ be a random orthogonal matrix selected uniformly from the space of $n\times n$ orthogonal matrices, and ...
- 570
2
votes
1
answer
191
views
Sobolev inequality involving summing from $j = 0$ to $m - 2$, exists constant
Let $I = (0, 1)$ and $1 \le q < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|D^{(m - 1)}u\|_{L^q(I)} + \sum_{j = 0}^{m - 2} \|D^ju\|_{L^\infty(I)} \le \...
user80013
-1
votes
2
answers
439
views
Are the coefficients of a linear combination of random vectors as random?
Given are $2n$ random vectors $x_i,y_i\in\mathbb{C}^n$ for $i=1,\ldots,n$ which entries are drawn iid from some absolutely continuous distribution. Every set of $n$ different of those vectors is ...
- 271
1
vote
1
answer
294
views
A problem about the quotient space of an extended Dirichlet space
Let $(\mathscr{E},\mathscr{F})$ be a recurrent Dirichlet form on $L^2(X;m)$ and $\mathscr{F}_e$ the corresponding extended Dirichlet space, then $1\in\mathscr{F}_e$ and $\mathscr{E}(1,1)=0$. Let ${\...
- 369
0
votes
1
answer
535
views
a sum of ratios of quadratic forms
I have the following function that I would like to optimize over the value A
$$f(A)=\sum_k \frac{\mathbf{y}_k^H\left[\begin{array}{cc} 1&0\\ 0& A \end{array} \right]\mathbf{x}_k\mathbf{x}_k^H\...
- 61
10
votes
2
answers
352
views
Two elementary inequalities for real-valued polynomials
I am looking for references discussing two inequalities that come up in the study of the dynamics of Newton's method on real-valued polynomials (in one variable). The inequalities are fairly different,...
- 32.5k
2
votes
2
answers
693
views
Proving the non-degeneracy of the critical points of the potential function for a certain vector field with $ n $ point-singularities
This question is an expansion of another question that I asked over at Math Stack Exchange.
In what follows, $ \alpha \in \mathbb{R}_{> 1} $ is a constant, $ n $ a fixed integer $ \geq 2 $, and $ [...
- 1,396
1
vote
0
answers
92
views
Perturbation in Besov space
$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
- 515
28
votes
3
answers
2k
views
Does $a_n=\prod^n_{k=1}(1-e^{k\alpha \pi i})$ converge to zero when $\alpha$ is irrational?
I came across a problem concerning about the convergence of products. I wonder if the complex series $a_n=\prod^n_{k=1}(1-e^{k\alpha \pi i})$ converges to zero when $\alpha$ is irrational. Of course, ...
- 1,565
0
votes
0
answers
131
views
Measurable sets of probability measures $\{\mu \in M: (\mu \times \mu)(A) \in B\} \in \mathscr{M}$
Let $(X,\mathscr{F})$ be a measurable space, and let $M$ be the set all probability measures $\mu: \mathscr{F} \to [0,1]$. Let us denote with $\mathscr{M}$ the $\sigma$-algebra on $M$ generated by the ...
- 119
1
vote
1
answer
307
views
Ordinal of injectivity for a smooth regular curve with a finite arc-length
Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...
- 43
2
votes
0
answers
184
views
Modify the jump set of $BV$ function
Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...
- 679
3
votes
1
answer
187
views
Moment matching on the standard simplex
Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where
$$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \...
- 1,127
1
vote
0
answers
90
views
Expansion of a power series as integral of cosine functions
Suppose $$f(x)=\sum_{k=0}^\infty (-1)^k x^{2k} \int_0^1 p(\xi_{2k})\int_0^{\xi_{2k}}q(\xi_{2k-1})\cdots\int_0^{\xi_3}p(\xi_2)\int_0^{\xi_2}q(\xi_1) d\xi_1 \;d\xi_2\cdots d\xi_{2k-1}\;d\xi_{2k},$$
...
- 587
2
votes
1
answer
125
views
Regularized integral and asymptotic expansion
Let $f:(0, \infty) \longrightarrow (0, \infty)$ be a monotonously increasing function (in fact, a step function) and let $P$ be a polynomial of degree $N$. Suppose I know that for some $k$, the limit
$...
- 9,853
22
votes
3
answers
2k
views
The origin of the Ramanujan's $\pi^4\approx 2143/22$ identity
What is the origin of the Ramanujan's approximate identity $$\pi^4\approx 2143/22,\;\;\tag 1$$ which is valid with $10^{-9}$ relative accuracy? For comparison, the relative accuracy of the well known $...
- 16.5k
2
votes
1
answer
301
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
- 369
7
votes
3
answers
385
views
On what kind of condition of a compact set $K$ in the plane, $C(K)$ has a generator?
Let $K\subset \Bbb{C}$ be a compact subset of the complex plane, and let $C(K)$ be the space of all complex continuous functions on $K$.
We say that $f\in C(K)$ is a generator of $C(K)$ when the set $...
- 185
1
vote
2
answers
873
views
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$
$c_0(C[0,1])$ is the $c_0$-direct sum of countably many $C[0,1]$.How to prove
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$.
Here,Banach-space isomorphism means a bounded invertible operator ...
- 185
9
votes
2
answers
553
views
Asymptotic behavior of Sturm-Liouville eigenvalues
I have two questions.
Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$.
Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$....
- 369