**1**

vote

**0**answers

48 views

### Show this function is strictly concave

Please help me show that $f(w)$ is strictly concave in $w\in[0,\infty)$:
$f(w)=\sum_{j=1}^N P_j (w)\cdot u_j $
where
$P_j (w)=\sqrt{w}\int _{-\infty}^{\infty}\Pi_{k\neq j}\{\Phi[\sqrt{w}(v-u_k)]\}...

**0**

votes

**1**answer

52 views

### Request for references about computing or estimating Rademacher complexity

Is Rademacher complexity defined for any space of functions?
Or are there restrictions on the function space over which this can be defined?
For example is the Rademacher complexity defined or has ...

**5**

votes

**1**answer

95 views

### Density of the linear span of products of harmonic polymomials

Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...

**2**

votes

**0**answers

51 views

### How much must a curve bend to intersect another curve twice?

Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...

**0**

votes

**0**answers

20 views

### Comparison of lengths: Theodorus spiral and Archimedes' Spiral

It is known that the Spiral of Theodorus approximates the Archimedean spiral.
Let's consider the arc-length of the Spiral of Theodorus $L_T(\phi)$ and the Archimedean one: $L_A(\phi)$. Can we ...

**0**

votes

**0**answers

128 views

### local analyticity of volumes of slices of semi-algebraic sets

I would like a reference and/or a simple proof using well-known results of the following, which I think is true. (If it's false, I'd like to know that as well of course -- and ideally a way to modify ...

**1**

vote

**0**answers

45 views

### Dirichlet series decomposition of arbitrary function

Originally asked on MSE here: http://math.stackexchange.com/q/1780149/52694
Analytic functions can be decomposed into a Taylor series, and furthermore the Taylor series converges back to the original ...

**2**

votes

**1**answer

185 views

### Extension of a function from almost everywhere to everywhere

The informal general question is: let $f$ be a "sufficiently nice" function, defined "almost everywhere". Can we develop a method to uniquely extend $f$ to the "remaining" points?
Example: Let $f(x)=\...

**0**

votes

**0**answers

33 views

### Optimizing sum of approximate and exact functions

This is a research question that I had asked in Math.SE about a month ago, but even after putting a bounty on it, I did not get any answers.
I have two real values functions, where one ($g(w;x):\...

**5**

votes

**1**answer

204 views

### Fourier transform surjective on $L^p(\mathbb{R}^n)$ for $p \in (1,2)$?

I know that $F_2:L^2 \rightarrow L^2$ is of course unitary, whereas $F_1:L^1 \rightarrow C_0$ is injective but not surjective. This can be seen by looking at the dual map.
Riesz-Thorin gives us that ...

**3**

votes

**1**answer

76 views

### Algorithm for definite integral of rational functions of x and exp(-x)

I'd like to find the class of functions that may appear as definite integrals of a rational function of $x$ and $\exp(-x)$ from $0$ to $\infty$. For that I imagine there might be an algorithm to ...

**3**

votes

**2**answers

287 views

### A possible norm on a subspace of $C^\infty([0,1])$?

I have posted the following question (with minimal differences) on MSE some days ago, without receiving a satisfactory answer, so let me try here again.
Take the vector space of infinitely ...

**1**

vote

**0**answers

48 views

### Quotient of two smooth functions extension

Assume we are given smooth functions $f, g: U \to \mathbb{C}$, where $0 \in U \subset \mathbb{R}^n$ is open and $0 \in g^{-1}(0) \subset \{x_n = 0\}$. Furthermore, suppose that $\nabla g \neq 0$ on ...

**1**

vote

**0**answers

79 views

### extension for a complex operator

Let be $\lambda>0$. Put
$$ L_{\lambda}=\Big[-\frac{\partial^{2}}{\partial z \partial \overline{z}}+\lambda^{2}|z|^{2} +\lambda\Big(\overline{z}\frac{\partial}{ \partial \overline{z}}-z\frac{\...

**2**

votes

**1**answer

99 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 ...

**5**

votes

**0**answers

152 views

### Complex Stone-Weierstrass Type problem

I have come across this problem which resembles complex Stone-Weierstrass theorem except for a problem that the conjugate of the functions are not necessarily in the sub algebra.
Suppose $\Omega$ is ...

**2**

votes

**1**answer

93 views

### Are compactly supported continuous functions dense in the Continuous functions of Sobolev space? [closed]

I have a question about Sobolev space.
Let $\Omega$ be an open subset of $\mathbb{R}^{d}$,
we consider the Sobolev space
$H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), j=1,...

**1**

vote

**0**answers

40 views

### The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...

**2**

votes

**1**answer

86 views

### A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...

**2**

votes

**3**answers

240 views

### Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$.
Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$
$$f(a;b):=\prod\limits_{k=1}^\infty ...

**1**

vote

**0**answers

61 views

### Multimodal property of polynomial logistic distribution

Let $P(x)$ be a polynomial (of an odd degree $n$) strictly increasing on $(-\infty, +\infty).$
Then $F(x)=\displaystyle \frac{1}{1+\exp\{-P(x)\}}$ is a distribution function of a polynomial logistic ...

**3**

votes

**1**answer

187 views

### Fréchet L-Spaces

According to the paper The emergence of open sets, closed sets, and limit points
in analysis and topology famous mathematician Maurice Fréchet who introduced the concept of metric spaces has also ...

**0**

votes

**0**answers

50 views

### Bounds on the the spherical harmonics on $S^{p-1}$

The only reference I could find in this regard is for upper bounding the n-homogeneous spherical harmonics on $S^{p-1}$ as in equation 4.29 here, http://www.fen.bilkent.edu.tr/~gurses/...

**1**

vote

**1**answer

57 views

### linear recurrence inequality of positive terms

This is a follow up on my previous linear recurrence inequality question.
I have some matrices which satisfy a linear recurrence formula of the form
$$
A_{n+1} = \alpha A_{n} + \beta A_{n-1},\qquad n\...

**2**

votes

**1**answer

66 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 $...

**2**

votes

**1**answer

74 views

### On cluster points of a particular sequence

This is the sequel of a previous question.
Let us consider the sequence
$$
\xi_n = 2n \{n\xi\}-n,
$$
where $\xi>0$ is a given real irrational number and $\{\cdot\}$ is the fractional part.
Do ...

**0**

votes

**0**answers

61 views

### Functions $f \in S(\mathbb{R})$ with slow decay rate?

I came across this question by thinking about whether there are functions $f \in S(\mathbb{R})$ that satisfy for all(!) $a>0$ that $f e^{a|.|^a} \notin L^{\infty},$ as somebody on math....

**13**

votes

**2**answers

502 views

### Is there a $C_c^{\infty}( \mathbb{R}^d)$ function whose Fourier transform we can explicitly write down?

I noticed that although $C_c^{\infty}$-functions are dense in some quite large spaces and well understood (especially their Fourier transform) I have never encountered an explicit example of a ...

**1**

vote

**0**answers

18 views

### Concavity of maxima [closed]

Suppose we have the following optimization problem : $\min\limits_x kf(x) + g(x)$ where $f$ is a decreasing convex function in $x$ and $g$ is an increasing convex function. Can we say that $x^*$ is ...

**2**

votes

**0**answers

117 views

### Conditions for continuity of non-simple eigenvectors

Here, http://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...

**1**

vote

**0**answers

55 views

### A problem on Markov chains and Dirichlet forms

Let $X$ be a countable set. Let $c:X\times X\to[0,+\infty)$ satisfy
$$c(x,y)=c(y,x)\text{ for all }x,y\in X,$$
$$m(x)=\sum_{y\in X}c(x,y)\in (0,+\infty)\text{ for all }x\in X,$$
$$c(x,x)=0\text{ for ...

**0**

votes

**1**answer

55 views

### Long term behavior of a certain discrete time dynamical system on graphs

Consider the graph $(V,E)$ with vertex set $V=\{v_1,...,v_n\}$ and edge set $E\subset V\times V$. Further, assume that $\forall v_i\in V, (v_i,v_i)\in E$.
Assume that each vertex has an $\textit{...

**2**

votes

**0**answers

51 views

### Harmonic functions in tempered distribution sense

Suppose $g$ is a metric on $\mathbb{R}^3$ and $\Omega \subset\subset \mathbb{R}^3$. We assume that $g$ is euclidean outside $\Omega$.
My question concerns solutions to $\triangle_g u =0$ that are say ...

**4**

votes

**1**answer

266 views

### Two similar integrals

Let $n$ be a given even positive integer. We have the following integral
\begin{align}
\int_0^{\infty}\cdots\int_0^{\infty}e^{-(x_1+\cdots+x_n+y_1+\cdots+y_n)}\prod\limits_{i=1}^n\prod\limits_{j=1}^n(...

**2**

votes

**1**answer

148 views

### Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...

**3**

votes

**1**answer

173 views

### Is the number of intervals you get by slicing the closed region under a nice graph continuous from below?

Let $I$ be a closed interval in $\mathbb{R}$, and let $f:I \to \mathbb{R}$ be a bounded function, smooth except at finitely many points (piece-wise smooth). There are also only finitely many critical ...

**1**

vote

**1**answer

67 views

### Partition of Real Number [closed]

Can the set of Real numbers be partioned into two parts such that both are uncountable,dense and have empty interior and any closed interval intersects both at uncountably many points?

**0**

votes

**0**answers

89 views

### Does this set of (structured) equations always have a solution?

Let $r_1,\ldots,r_K$ be arbitrary positive numbers.
Does
$$|\mathcal{A}|\log\left(1+\frac{1}{|\mathcal{A}|}\left(\sum_{n\in \mathcal{A}} \sqrt{x_n(\exp(r_n)-1)}\right)^2\right)\leq \sum_{n\in \...

**5**

votes

**1**answer

615 views

### Is the following integral nonzero?

Recently I met an integral as follow:
$$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq i<j\leq9}\sin\frac{\theta_i-\theta_j}{2}\right)\left(\prod\limits_{i=1}^9(1+\cos(\theta_i-\theta_{i+...

**41**

votes

**1**answer

1k views

### Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...

**4**

votes

**0**answers

116 views

### Classifying countable sets of weighted dots on a real line

Each dot is located on the real line and assigned a weight that can be positive or negative. A dot is equivalent to two(or more) dots located at the same place whose weights sum is equal to that of ...

**49**

votes

**1**answer

2k views

### Square root of dirac delta function

Is there a measurable function $ f:\mathbb{R}\to \mathbb{R}^+ $ so that $ f*f(x)=1 $ for all $ x\in \mathbb{R} $, i.e $$\int\limits_{-\infty}^{\infty} f(t)f(x-t) dt=1 $$ for all $ x\in \mathbb{R} $.

**1**

vote

**0**answers

77 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 \...

**7**

votes

**0**answers

101 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})$ ...

**3**

votes

**1**answer

157 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 ...

**0**

votes

**0**answers

37 views

### On the continuity of Riemann-Liouville integral

For a function $f:(0,1)\to\mathbb{R}$, the Riemann-Liouville integral of $f$ is defined by
$$
(I^{1-\nu}f)(t):=\frac{1}{\Gamma(1-\nu)}\int_{0}^{t}\frac{f(s)}{(t-s)^{\nu}}ds,
$$
where $\nu\in(0,1)$ is ...

**1**

vote

**1**answer

123 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$ ...

**2**

votes

**1**answer

91 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))}{(...

**5**

votes

**1**answer

137 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$...

**9**

votes

**1**answer

250 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 ...