**1**

vote

**1**answer

27 views

### Can this equality be possible for any nonzero real $b$?

Please may you kindly assist me on this integration exercise: Suppose for some fixed real $a, b$ with $a \neq 0$, we have:
$$\int_1^\infty f(x)\sin(a\log \sqrt x)x^b \mathrm{d}x = \int_1^\infty f(x)\...

**7**

votes

**1**answer

186 views

### Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...

**15**

votes

**3**answers

3k views

### Counterexamples to differentiation under integral sign?

I'm exploring differentiation under the integral sign (I want to be much faster and more assured in doing this common task). So one thing I'm interested in is good counterexamples, where both ...

**-1**

votes

**0**answers

39 views

### Closure property of completely monotone functions [on hold]

A $C^{\infty}$ function $f(x_1, \dots, x_n)$ defined on $(0,\infty)^n$ is said to be completely monotone if
$$
(-1)^{k}\frac{\partial^k f}{\partial x_{i_1} \cdots \partial x_{i_k}} \geq 0
$$
...

**-1**

votes

**0**answers

12 views

### Rigorious formulation of approximation of integral as area of a square and its radius of convergence [migrated]

We know that the taylor expansion of
$$\left(\int_{t}^{t+\Delta t}a(t')dt'\right) = a(t)\Delta t + \frac{1}{2}\frac{da}{dt}(t) \Delta t^2 + \frac{1}{3!}\frac{d^2a}{dt^2}(t) \Delta t^3 + \frac{1}{4!}\...

**1**

vote

**1**answer

37 views

### Polynomial with subset of critical points and values prescribed

Motivated by this question I am motivated to pose the following question:
Given $k$ points $(x_1, y_1), \ldots (x_k, y_k)$ with (WLOG) $x_i < x_{i+1}$, can we find a polynomial $p(x)\in\Bbb R[x]$ ...

**1**

vote

**1**answer

64 views

### Every $W^{1,p}$ has a representative in ACL

Let $\Omega:=(0,1)^n$ and define $ACL_i(\Omega)$ as the set of all Borel functions $u:\Omega\to\mathbb{R}$ such that
$$ t\mapsto u(x_1,\dots,x_{i-1},t,x_{i+1},\dots,x_n) $$
is $AC$ for a.e. $(x_1,\...

**0**

votes

**0**answers

41 views

### Questions about the regularity of the solution of the heat equation in a bounded domain [closed]

I have questions about the proof of the following theorem:
Theorem 8 (Smoothness). Suppose $u\in C^2_1(U_T)$ solves the heat equation in $U_T$. Then $u\in C^\infty(U_T)$
Here is the statement and ...

**0**

votes

**1**answer

98 views

### Doubling metrics, doubling measures, Lebesgue density

As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...

**0**

votes

**0**answers

92 views

### The eigenfunction of modified $1$-laplace equation?

Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...

**1**

vote

**1**answer

111 views

### Global Poincaré type estimate

For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...

**3**

votes

**2**answers

208 views

### Extremal problem for sequences

Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...

**1**

vote

**0**answers

45 views

### BV functions with values in metric space

$
\newcommand{\IR}{\mathbb{R}}
\newcommand{\IN}{\mathbb{N}}
\newcommand{\supp}{\operatorname{supp}}
\newcommand{\divergence}{\operatorname{div}}
\newcommand{\Lip}{\operatorname{Lip}}
$
Let $E$ be a ...

**0**

votes

**1**answer

80 views

### A uniform Lebesgue density theorem

The Lebesgue density theorem in $\mathbb{R}^n$ may be stated as follows. For a Lebesgue-measurable $A\subseteq\mathbb{R}$ and $r>0, x\in\mathbb{R}^n$, define
$$ \chi_{A,r}(x)=\frac{\mu(A\cap B_r(x))...

**0**

votes

**1**answer

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

**3**

votes

**0**answers

69 views

### Global Euclidean Carleman Estimate with a linear phase

I am interested in deriving the following global Carleman estimate which I think should hold :
$ \| e^{\tau \phi} \triangle e^{-\tau \phi} u \|_{L_{\delta+1}^2({\mathbb{R^3})}}> C \tau \| u \|_{L^...

**34**

votes

**1**answer

3k views

### Is the following identity true?

Calculation suggests the following identity:
$$
\lim_{n\to \infty}\sum_{k=1}^{n}\frac{(-1)^k}{k}\sum_{j=1}^k\frac{1}{2j-1}=\frac{1-\sqrt{5}}{2}.
$$
I have verified this identity for $n$ up to $5000$ ...

**2**

votes

**2**answers

307 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) = ...

**6**

votes

**1**answer

131 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 $\...

**3**

votes

**1**answer

369 views

### About the generating structure of Borel field

This is a graduate-level measure theory problem. I have thought throught it and asked on math.SE but received no satisfying answer.
On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the ...

**0**

votes

**0**answers

44 views

### Global Harmonic Oscillator

My question essentially is how to find the appropriate functional space to study uniqueness of solutions to a specific pde.
Consider the following pde in three dimensions globally:
$ -\tau^2 \...

**10**

votes

**0**answers

213 views

### Integrability property of polynomials in several variables

This might be very trivial, or not.
Let $p\colon\mathbb{R}^n\to \mathbb{R}$ be a polynomial of even degree, at most $n-2$. Assume that $p(x)\leq 0$ for any $x\in\mathbb{R}^n$. Assume that there ...

**3**

votes

**0**answers

52 views

### Convolution of decaying polynomials [closed]

I conjecture that if the functions $f$, $g$ defined on $\mathbb{R}^n$ satisfying
$$|f(x)| ≤ A(1+|x|)^{−M}, \quad |g(x)| ≤ B(1+|x|)^{−N}$$for some
$M$, $N > n$, then$$|(f * g)(x)| ≤ ABC(1+|x|)^{−L},$...

**2**

votes

**1**answer

991 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**2**

votes

**0**answers

46 views

### level sets portrait near a critical point

Let $f:\mathbb{R}^{2}\rightarrow\mathbb{R}$ be a smooth ($C^{\infty}$) function and $O$ be an
isolated critical point of $f$. I am looking at the local level sets diagram
near $O$ from topological ...

**2**

votes

**1**answer

307 views

### An irresistible inequality

The following occurred while working on some research project. Since the methods of proof I used were lengthy, I wish to see a skillful or insightful approach (perhaps even conceptual). Anyhow, here ...

**2**

votes

**0**answers

72 views

### Imposing boundary conditions and self-similarity on a PDE

This question is an exact duplicate of the question
Imposing boundary conditions AND self-similarity on a PDE
posted by Stan Corey Carter on math.stackexchange.com.
I have a PDE in the ...

**5**

votes

**0**answers

99 views

### For $f$ a polynomial, does strict convexity of $\log f(e^s)$ imply that the second derviative of $\log f(e^s)$ has no zeros?

Let $f(t)$ be a monic real polynomial such that $f(t) > 0$ for all $t \ge 0$. Suppose that $\log f(e^x)$ is strictly convex on $\mathbb{R}$, i.e.
$f(s^2) \cdot f(t^2) > f(st)^2$
for all $s, t \...

**8**

votes

**2**answers

1k views

### Multi-dimensional moment problem

Let $\mu$ be a measure on $\def\r{\mathbb{R}}\r^n$, $1\le n \le \infty$. Given a (finite) multi-index $\bar{i} = (i_1, i_2, \ldots)$, one can define the moment
$$ m_{\bar i} = \int x_i^{i_1} x_2^{i_2}...

**1**

vote

**0**answers

226 views

### Prove this function is increasing

I'm stuck in showing that the following function is increasing over the domain $\left[0,\hat{b}\right]$:
\begin{eqnarray}
\Pi\left(z\right) & = & \int_{0}^{\phi\left(z\right)}\int_{x}^{\bar{x}...

**1**

vote

**0**answers

31 views

### The jump set of $SBV$ function for different value of parameter in image denoising problem

The classical Mumford-Shah image denoisng problem study the minimizer of the following functional, for each $\alpha>0$ where $\Omega\subset \mathbb R^2$ is open bounded with sommth boundary,
$$
u_\...

**2**

votes

**0**answers

76 views

### If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$

Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...

**6**

votes

**0**answers

189 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$, ...

**1**

vote

**1**answer

128 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 ${\...

**1**

vote

**3**answers

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

**2**

votes

**1**answer

105 views

### estimation of a vector-function

Let $x(t)\in C^1(\mathbb{R}_+,\mathbb{R}^m)$ be a vector-function such that
1) $\|x(t)\|+\|\dot x(t)\|\to 0$ as $t\to\infty$ and
2) for some real $c_1>0$ and all $t>0$ one has $\|x(t)\|\le c_1\...

**1**

vote

**0**answers

73 views

### Differntiability of Distance to a CLosed Convex Set

Let $A$ be a closed convex set in Banach space $( \mathbb{R}^n, \| \cdot\| )$. For any $\mathbf{x} \in \mathbb{R}^n$, define $$Ｐ_{A}(\mathbf{x}) = \arg\min_{\mathbf{y}\in A} \| \mathbf{x} - \mathbf{y} ...

**4**

votes

**2**answers

222 views

### Variation of Radon transform for probability measures on $\mathbb C$

Let $\mu$ be a probability measure on $\mathbb C$. For $z \in \mathbb C$, let $$f^z \colon \mathbb C \to \mathbb R_{\geq 0}$$ be the function $f^z(\lambda) = |\lambda - z|$. Consider now the family $(\...

**1**

vote

**1**answer

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

**4**

votes

**1**answer

438 views

### On the embedding of a function space $X$ into $L^2\cap L^4$

It is well-known that if $\Omega\in \mathbb{R}^n$ is a bounded domain, then we have the embedding
$$
L^4({\Omega})\subset L^2({\Omega})
$$
since $||f||_{L^2(\Omega)}\leq C(\Omega) ||f||_{L^4(\Omega)}$ ...

**0**

votes

**0**answers

20 views

### Splitting the region and estimating fractional Sobolev norms

x-post from math.stackexchange (http://math.stackexchange.com/q/1836766/349671), since the question arose from reading through a scientific paper:
I've been reading the paper "On the Bourgain, Brezis,...

**1**

vote

**0**answers

149 views

### A certain measure on Banach algebras

According to the comments of Nate Eldredge I did revise the question. In particular I change "$C^{*}$ algebras" to "Banach algebras".
Is there a reference who introduce the following measure on ...

**1**

vote

**1**answer

111 views

### Convergence of Discrete Geodesic

Let $M$ be a Riemmanian manifold, $p\in M$ and $V\in T_p(M)$.
Suppose $f^{-1}:U_p \mapsto U$ is a diffeomorphism of a neighborhood of p to an open subset of $\mathbb{R}$ and define the sequence:
\...

**4**

votes

**3**answers

499 views

### Gross's log Sobolev inequality proof with variational calculus?

For $f\in C^{1}(\mathbb{R}^{n})$, Gross's logarithmic Sobolev inequality says that
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\int f^{2}\,d\mu\right)\leq \frac{2}{c}\int |\nabla f|^{2}...

**2**

votes

**2**answers

189 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 $ [...

**7**

votes

**1**answer

276 views

### A question about composition of functions

Recently, I heard this question: are there two functions $f:\mathbb{R}\to\mathbb{R}$ and $g:\mathbb{R}\to\mathbb{R}$ such that $f\circ g$ is strictly increasing on $\mathbb{R}$ and $g\circ f$ is ...

**0**

votes

**1**answer

132 views

### Methods to tackle this series and get to the limit?

Take a look at the averaging sum
$$\frac{\pi}{n}\sum_{k=1}^n\;\exp{(-\sin\theta_k)}\cdot \sin(\theta_k +\cos\theta_k)\, \qquad\text{where }\;\theta_k=(2k-1)\frac{\pi}{2n}$$
depending on $n\in\...

**4**

votes

**0**answers

67 views

### I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection

I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...

**6**

votes

**1**answer

220 views

### Density of convolution

Let $\{X_i\}$ be i.i.d random variables uniform on a measurable, symmetric set $A$ contained in $[-1,1]$. Let $g_{n}$ be density of $X_1+\ldots + X_n$.
Question (general): Is there any non-trivial ...

**1**

vote

**0**answers

77 views

### Can we always extract a proper Hausdorff measurable subset from a Hausdorff measurable set?

I also put this question on MSE here
Let $\Gamma\subset \Omega\subset \mathbb R^N$ be such that $\mathcal H^{N-1}(\Gamma)<+\infty$ (this also implise that $\Gamma$ is Hausdorff measurable).
Let $\...