All Questions
5,910 questions
2
votes
0
answers
254
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}...
- 21
1
vote
0
answers
71
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_\...
- 679
2
votes
0
answers
110
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\...
CommunityBot
- 1
2
votes
3
answers
1k
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
113
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\...
- 128k
2
votes
0
answers
125
views
When is an selfadjoint operatorvalued matrix with positive semidefinite diagonal elements positive semidefinite as well?
We have $p \in \mathbb{N}$ and $\mathcal{H}$ is a Hilbert space.
let's consider a matrix $\boldsymbol{\Gamma}_p := (C_{i-j})_{i,j=1, ..., p} \in \mathcal{S_H}^{p\times p}\!\!\,,$ that is a $p\times p$...
- 195
4
votes
2
answers
436
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 $(\...
- 11.6k
1
vote
0
answers
197
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 ...
- 356
7
votes
3
answers
2k
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}...
- 27.5k
9
votes
1
answer
966
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 ...
CommunityBot
- 1
3
votes
1
answer
399
views
The spectral norm of the truncated exponential of a matrix
Let $A$ be a matrix satisfying $A^*+A\leq0$, it can be shown that $\|e^{tA}\|_2\leq1$ for all $t\geq 0$, where $\|\cdot\|_2$ is the spectral norm defined as largest singular value of the matrix.
I am ...
- 52.3k
2
votes
0
answers
86
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 $...
CommunityBot
- 1
5
votes
1
answer
308
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 ...
- 24.2k
1
vote
0
answers
111
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 $\...
CommunityBot
- 1
0
votes
1
answer
309
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
- 195
0
votes
1
answer
217
views
Reproducing Kernel Hilbert Spaces with positive kernels
In my research I'm dealing with the following question.
Let $E$ set, $K:E \times E \to \mathbb R$ a positive type function, and $\mathcal H := \mathcal H(1+K)$ (in the sense of the Moore theorem). ...
- 11
10
votes
1
answer
439
views
Interpolation between $L_1^0$ and $L_2^0$
Let $L_p^0$ be the mean zero functions in $L_p(G)$, where, say, $G$ is an infinite compact group endowed with normalized Haar measure. Suppose that $T$ is a bounded linear operator on $L_1$ that maps $...
- 11.6k
2
votes
0
answers
55
views
Does there exist $\lambda_{\sigma(1)}$ such that $\mu(A\cap\{\lambda_{\sigma(1)}\neq0\})>0$?
Let $(\mathcal F,\Omega,\mu)$ be a measure space and $A\subseteq\Omega$ such that $\mu(A)>0$. Let $L^0$ be the space of all measurable functions.
We say $X_1,\ldots,X_k\in(L^0)^d=\prod_{k=1}^dL^0$...
- 85
2
votes
2
answers
636
views
Continuous upper envelope of upper semicontinuous function
Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...
- 6,206
1
vote
1
answer
156
views
Step 2 of The Strichartz's Estimates in Cazenave's Book
My question is from Cazenave's book "Semilinear Schrödinger Equation", page 35. I am stuck with Step 2 of the Strichartz's estimates.
The book says that $||\Phi_f(t)||_{L^2}^2=\left(\int_0^t \...
- 39.1k
2
votes
0
answers
79
views
Compute Mixed Volume with Respect to Some Regular Sets
Let $( \mathbb{R}^n, \mathcal{B}, \gamma)$ be a measure space where $\mathcal{B}$ is the Borel sigma algebra and $\gamma$ is a continuous measure. For $A, B\in \mathcal{B}$ that are convex, the mixed ...
- 1,127
9
votes
1
answer
299
views
Sequence of nested sets in $[0, 1]$ with bound on gaps
What is the best possible $\epsilon$ and sequence $(a_n)_{n = 1}^\infty \subset [0, 1]$ we can find such that
$$
d_{N}:=\sup_{x\in [0,1]}\inf_{n=1}^N |x-a_n|\leq \frac{1+\epsilon}{N}
$$
for all $N\in ...
- 43.7k
6
votes
0
answers
210
views
Generalized singular numbers and the Haagerup $L^p$ spaces
Let $M$ be a semi-finite von Neumann algebra with a trace $\tau$.Let $S(M)$ be the algebra of all affiliated operators measurable with respect to $M$.
The $L^p$ norm on $M$ is given by
\begin{...
- 361
6
votes
1
answer
260
views
bounding derivative of a sequence
I've been banging my head against the wall on this one ... define a sequence of polynomials $q_n$ by $q_0 = 0$ and $$q_{n+1} = q_n + .5(t^2 - q_n^2).$$ If $q_n \leq t$ on $[0,1]$ then $$.5(t^2 - q_n^2)...
- 1,164
3
votes
1
answer
289
views
Domain of Laplacian
Let $L$ be an operator on $C^2(\mathbb R)$, defined by
$$L \phi (x) = \int_{|y|<1} (\phi(x+y) - \phi(x) - \phi'(x) \ y)\ \nu(dy), \text{ for all } x\in \mathbb R$$
for a measure $\nu(dy) = |y|^{-2} ...
- 39.1k
0
votes
1
answer
317
views
Some questions related to the unitary operators
A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...
- 5,529
4
votes
1
answer
1k
views
Density argument with Schwartz functions?
I was wondering whether the Schwartz functions are also dense in
$$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$
...
- 24.2k
1
vote
1
answer
251
views
Is there a way to solve this integral equation?
I have ran into the following integral equation as part of my phd research project, trying to enforce a boundary condition of a parabolic pde problem.
For $\xi = (\alpha\theta)^{1/\alpha}$ and for ...
CommunityBot
- 1
2
votes
2
answers
287
views
How can we obtain the $-\frac{4\pi}3\mu(x)$ term?
Given the expression
$$K_{ik} := \frac{\partial}{\partial x_k} \int_{\mathscr X} \frac{y_i-x_i}{|y-x|^3} \mu(y) dy,$$
where $\mathscr X=\mathbb R^3$, how does one derive the expression
\begin{align}
...
- 188k
-3
votes
2
answers
7k
views
Continuous map from $\mathbb R^2$ to $\mathbb R$? [closed]
There must be a map from $\mathbb R^2$ to $\mathbb R$, since they are the same cardinality. But is there a construction for a continuous map from $\mathbb R^2$ to $\mathbb R$?
I guess what I mean is ...
- 103
12
votes
2
answers
1k
views
Witness to a failure of Fubini/Tonelli
Is it provable in ZFC that there is a subset of the plane all of whose vertical cross sections have Lebesgue measure zero and all of whose horizontal cross sections are complements of sets of Lebesgue ...
- 11.5k
2
votes
1
answer
216
views
Ask for a special function related to the error function
I am wondering whether anyone knows the following integration has a named special function or a reference
$$
F_{a,b}(z) :=\frac{2}{\sqrt{\pi}} \int_0^z \text{erf}(a+b y)\: e^{-y^2} \text{d}y
$$
for ...
- 1,649
9
votes
2
answers
939
views
Can a nowhere differentiable function preserve measurability?
I want to know whether a continuous nowhere differentiable function $f: \mathbf{R} \to \mathbf{R}$ can map Lebesgue measurable sets to Lebesgue measurable sets. More generally I'm interested to know ...
- 45k
5
votes
0
answers
432
views
Points of continuity of a lower semicontinuous function have non empty interior
Let $X\subset \mathbb R^d$ having non empty interior and let $f:X\to\mathbb{R}$ be lower semicontinuous.
I know that the set of discontinuities of such a function is contained in a meager set, and ...
CommunityBot
- 1
-2
votes
1
answer
100
views
Is every implicit function reparametrized? [closed]
Consider a continously differentiable non-constant function $f:\mathbb{R}^2\to\mathbb{R}$. Define
$$
K=\{x\in\mathbb{R}^2|f(x)=0\}.
$$
I wish to know whether there is a continuously differentiable ...
- 17.6k
4
votes
1
answer
132
views
Integral Expression in Complex Dynamics
Let $\phi\in \mathbb{C}(z)$ be a degree $d\geq 2$ rational map, which we can write as $\phi = \frac{f}{g}$ for $f,g\in \mathbb{C}[z]$. Let $\omega_{FS}$ denote the Fubini-Study form on $\mathbb{P}^1(\...
- 3,709
2
votes
1
answer
254
views
Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$
Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \backslash L$? If so, is there any way one can distinguish ...
- 13k
2
votes
0
answers
67
views
On two functions with isodirectional gradients
Let $U\subset \mathbb{R}^n$ be open and $f,g:U \to \mathbb{R}$ be two $C^1$ functions whose gradients are always in the same direction, i.e. $\forall i,j \in \left\{1,...,n\right\}$
\begin{equation}
(\...
- 1,461
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
- 195
3
votes
2
answers
113
views
Behavior of orbits under small perturbations
Perhaps this question is too easy for mathoverflow, at least this is how it seems, but I got no answer on stackexchange.
Suppose $T$ is a bounded linear operator on $l_2$ and $x\in l_2$ is a ...
- 16.5k
1
vote
0
answers
104
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
348
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 ...
CommunityBot
- 1
1
vote
0
answers
174
views
Negative eigenvalue of Toeplitz Hermitian matrix?
I am working on estimation of a covariance matrix and I know that the matrix is Toeplitz. The desired matrix should not produce negative eigenvalues at all. However, sometime my estimation leads to a ...
- 495
5
votes
1
answer
914
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)=\...
- 7,182
2
votes
0
answers
67
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 ...
- 131
3
votes
0
answers
155
views
Dirichlet series decomposition of arbitrary function
Originally asked on MSE here: https://math.stackexchange.com/q/1780149/52694
Analytic functions can be decomposed into a Taylor series, and furthermore the Taylor series converges back to the ...
CommunityBot
- 1
-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
7
votes
1
answer
1k
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 ...
CommunityBot
- 1
4
votes
1
answer
127
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 ...
- 91.8k
1
vote
0
answers
130
views
An analytic family of in fact non-existent improper Riemann integrals
Question:
Are there any useful interpretations or "applications" of the formula
$$\intop_0^\infty e^{-ax}\frac{\sin x}{x}\,dx=\frac{\pi}{2}-\arctan(a)\qquad \forall\;a\in \mathbb{R},
$$
in which the ...
CommunityBot
- 1