All Questions
13,946 questions
0
votes
0
answers
34
views
Support of a function acting on an algebra?
Quick: for a measurable function $f$ its support on Euclidean space is clearly just the subset where $f$ does not vanish.
Now, let’s have $f$ acting on an finite Lie algebra, f.e. $\mathfrak{gl}$ as $...
-1
votes
1
answer
204
views
Cauchy reduction formula with measure (a variation)
The Cauchy reduction formula conveniently compresses $n$ integrations of a function $F(x)$ into a single integral. Here I am interested in reducing the following "curved-space" ...
- 141
2
votes
0
answers
67
views
Regularity and decay of Fourier-like series on a manifold
Let $D$ be a first-order self-adjoint elliptic differential operator acting on sections of a vector bundle $S$ over a closed manifold $M$. Then it is well-known that the various eigenspaces $E_\lambda$...
- 1,903
3
votes
2
answers
436
views
Closed form for $ \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \dotsb + x_n^p} \, \mathrm{d}x_1 \dotsm \mathrm{d}x_n $
I asked this question on MSE, but received no answer.
Recently, reading this problem, I found out that
$$ \lim_{n\to \infty} \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \...
- 387
1
vote
0
answers
53
views
Reference for Density question
Let $ B $ be a reflexive, separable Banach space and $ p \in (1,\infty)$. Then denote by $L^{p}(B)$ the space of all functions $$ f : \mathbb{R}^{n} \to B $$ with
$$
\int_{\mathbb{R}^{n}} \vert f \...
- 31
3
votes
1
answer
346
views
Prove that $\lim\limits_{n\to\infty}\left(\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}-\frac{\pi}{4}n\right)=\frac{1}{2}$
I came across the above question in a mathematical problem. It is not difficult to see that
$$
\lim\limits_{n\to\infty}\left(\frac{1}{n}\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}\right)=\int\...
- 41
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 969
0
votes
1
answer
100
views
Projection on a countable union of linear subspace
For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
- 31
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
0
votes
0
answers
22
views
Approximation of Lipschitz functions by convex combinaison of Lipschitz functions depending on projections
Let $K\subset \mathbb R^2$ be compact. For any $c>0$, denote by ${\rm Lip}_c(K)$ the collection of Lipschitz functions $f:K\to\mathbb R$ whose Lipschitz constant is less than or equal to $c$. Set $...
- 1,334
0
votes
2
answers
167
views
Is a signed measure $\mu$ on $\mathbb{R}^d$ characterized by the transform $\mathcal{L}_\mu (\lambda ):=\int e^{\langle \lambda,x\rangle }\mu (dx)$?
In the book "Probability Theory" by Achim Klenke there's the following theorem: a finite measure $\mu$ on $[0,\infty )$ is characterized by its Laplace transform $\mathcal{L}_\mu(\lambda):=\...
- 15
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
- 969
8
votes
1
answer
537
views
Reference request: Expository paper on the use of functional analysis in differential and integral equations
Some textbooks on functional analysis do not hint that a major raison d'être of the subject is its use in the study of differential and integral equations. The reader could go all the way through ...
1
vote
0
answers
56
views
Finding thin plate spline subjected to boundary conditions
I am trying to formulate a problem as a PDE. What I want to know is if my formulation is correct, if it admits solution and what am I missing.
This question is related to : Thin-Plate-Spline ...
- 115
6
votes
1
answer
528
views
A functional equation
I am working on some physics problem and got stuck with the following equation: Let $a$ be a very small positive number. Is there a bounded function $F$, $0 \leq F \leq 1$, such that for all $x \in \...
- 63
0
votes
0
answers
44
views
Integral of gradient of a function times a vector fields, null whatever the function, implies null divergence and tangential limits conditions
I'm reposting this question from math.stackexchange, as I haven't got answers so far.
At the beginning of "Brenier, Y. (1987) Décomposition polaire et réarrangement monotone des champs de
...
- 101
4
votes
0
answers
158
views
Measurability of $L^{p}(L^{q})$ integrable functions
Let $ F: \mathbb{R}^n \times (0,\infty) \to \mathbb{R}$ be a function with the property that
$
\int_{\mathbb{R}^n} \big[ \int_0^\infty |F(x,r) |^q \, dr \big]^{p/q} \, dx < \infty
$
In addition we ...
- 41
0
votes
0
answers
40
views
Iterating partially-unconstrained optimization with projection
Let $f:H\to \mathbb{R}$ be a strictly convex Fréchet differentiable, coercive function on a separable Hilbert space $H$ and let $C_1,C_2\subseteq H$ be closed and convex.
I want to optimize
$$
\tag{(A)...
- 5,405
0
votes
0
answers
53
views
Vectors of complex exponentials span $\mathbf{C}^N$
Let $Q = [0,1]\times [0,1]$. Let $1\leq k < \infty$ and $\{(x_l,\xi_l)\}_{l=1}^{k}\subseteq Q$ be such that $(x_i,\xi_i)\ne (x_j, \xi_j)$ for $i\ne j$. Additionally, for $1\leq l \leq k$, let $n_l\...
- 171
0
votes
1
answer
114
views
Ball in separable Banach space has positive Gaussian measure
I have (presumably non-degenerate) Gaussian $\mu$ over separable Banach space $X$. I would like to prove that for any ball of radius $r$ centered at $x$, $\mu(B_r(x))$. I know how to prove this in ...
- 379
1
vote
1
answer
127
views
approximating differentiable functions with double trigonometric polynomials
Let $Q = [0,1]^2$. For sake of notation, let
$$
f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi).
$$
Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if
$$
\|...
- 171
6
votes
0
answers
293
views
Looking for Mackey's PhD thesis, "The subspaces of the conjugate of an abstract linear space"
I'm looking for a copy of George Mackey's PhD thesis, The subspaces of the conjugate of an abstract linear space (Harvard Univ., 1942), but am currently struggling to find one online, with the only ...
- 11.8k
9
votes
8
answers
1k
views
$n$-th derivative of $\exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right)$
Let $\lambda$ and $\mu$ be two positive real numbers and let denote $f$ the function defined as:
$$\forall x>0,~f(x):= \exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right).$$
I am struggling to find ...
- 393
1
vote
1
answer
125
views
Integrability of modified diagonalizable Jacobian
I have a smooth function $f$ from $\mathbf{R}^N$ to $\mathbf{R}^N$. For each $x\in \mathbf{R}^N$ the Jacobian of $f$, $J_f$, is diagonalizable as
$$
J_f(x)=S(x)\Lambda(x) {S(x)}^{-1},
$$
where the ...
- 19
1
vote
0
answers
95
views
Distance between two convex sets
Setting
If $A$ an $B$ are two symmetric matrices, we denote by $A >B$ when the matrice $A-B$ is definite positive.
In $\left(\mathbb{R}^{*}_{+} \right)^4$, consider the convex set $$ \Lambda = \...
- 125
1
vote
1
answer
168
views
About the sigma algebra generated by the Hausdorff measure on $\mathbb R^n$
Let $\mathcal{H}^k$ be the $k-$dimensional Hausdorff measure on $\mathbb R^n$, with $k \in \{1, \ldots n\}$. By Carathéodory's theorem we know that there exists a sigma algebra $\mu(\mathcal{H}^k)$ of ...
- 119
2
votes
0
answers
132
views
Convergence of integral operators' inverses
Let $K$ be a positive definite integral operator with continuous kernel $K(x,y)$ defined by
$$
Kf(x) = \int_0^1 K(x,y) f(y) \, dy.
$$
Let $K_n$ denote the matrix $K(x_i, x_j)$ with $x_i = i /n$ and ...
- 620
1
vote
0
answers
96
views
Sequential definitions of continuity and related classes
It is well-known that the usual 'epsilon-delta' definition of continuity is equivalent to the sequential definition (assuming countable choice). Less well-known is the sequential definition of ...
- 4,359
7
votes
2
answers
324
views
For this continuous non differentiable function $f$ How to determine $\sup\{a\}$ s.t $\lim\limits_{h\to0}\frac{f(x+h)-f(x)}{h^\alpha}=0$ for all $x$?
I asked this question on MSE here.
Define $g(x)= |x|$ for $|x|\in [-1,1]$ , $g(x+2)=g(x)$
$$f(x)= \sum_{n \ge 1} \frac{3^n g\left(4^n x\right) }{4^n}$$
This function is a famous example of a ...
- 541
3
votes
2
answers
250
views
Existence of a positive measurable set with disjoint preimage under iterated transformation
Let $(X,\mathcal B,\mu)$ be a atomless probability measure space and $T:X\to X$ be a non-singular transformation such that $\mu\left({x\in X: T^n(x)=x}\right)=0$ for every $n\ge 1$. Let $A\in \mathcal ...
- 105
2
votes
1
answer
229
views
Does the existence of derivatives in the average sense imply absolute continuity?
Let $f: \mathbb R \to \mathbb R$ be a measurable function. Suppose there exists some integrable function $g$, and a measurable set $E$ of full measure such that
$$\lim_{r \to 0_+} \sup_{x \in E} \left ...
- 6,223
2
votes
0
answers
151
views
Does the complex interpolation space $(L^1(\mathbb{R}),W^{2,1}(\mathbb{R}))_{\frac{1}{2}}$ continuously embed into $L^\infty(\mathbb{R})$?
The complex interpolation space between $(L^p(\mathbb{R}),W^{2,p}(\mathbb{R}))_\theta$ with interpolation parameter $\theta=\frac{1}{2}$ is known to be $W^{1,p}(\mathbb{R})$ for $1<p<\infty$. As ...
- 989
0
votes
1
answer
65
views
Strict positive definite function gradient tuple
I have a (Gaussian) random function (aka "stochastic process" or "random field") $(f(t))_{t\in \mathbb{R}^d}$. I now want to consider the vector valued random function $g=(f, \...
- 385
2
votes
1
answer
197
views
Prékopa-Leindler style inequality?
Does anyone know a simple proof of the following Prékopa-Leindler style inequality:
If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$,...
- 125
1
vote
1
answer
121
views
An asymptotic integral with complex phase
Suppose that $D\subset \mathbb R^2$ is the closed unit disk and that $f\in C^{\infty}(D)$. Assume that for all $\lambda \in (1,\infty)$ there holds
$$ \left|\int_D f(x^1,x^2)\, e^{\lambda (x^1+ix^2)}\,...
- 4,153
0
votes
1
answer
53
views
Rate of convergence of the minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
-1
votes
1
answer
139
views
$L^1$ convergence
Setting
For $i \in \mathbb{N}$, consider two sequences $f_i,g_i \in L^1(\mathbb{R})$ such that $$ f_i \rightarrow_{L^1} f \in L^1(\mathbb{R}) $$ and also $$ g_i \rightarrow_{L^1} g \in L^1(\mathbb{R})...
- 125
3
votes
0
answers
105
views
Maximal-type inequality for a Borel probability measure supported on a subset of $L^2(\mathbb{R}^d)$
Let $\mu$ be a Borel probability measure on $L^2(\mathbb{R}^d)$ for $d\ge 1$ which is moreover supported on the unit sphere
$$S=\{\phi\in L^2(\mathbb{R}^d): \| \phi\|_{ L^2(\mathbb{R}^d)}=1\}.$$
Let ...
- 870
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
3
votes
0
answers
74
views
About the J-method of interpolation
In the classic text of J.Bergh and J.Lofstrom, Interpolation Spaces, the $J$-method of real interpolation defines a functor in the following way: For $0<\theta<1$ and $1\leq q\leq \infty$ we ...
2
votes
1
answer
79
views
Hausdorff-Lipschitz continuity of cone correspondence
Let $\mathbb{R}_+$ denote the strictly positive real numbers, let $\mathcal{X} \subset \mathbb{R}^n$ and $\mathcal{P} \subset \mathbb{R}^m$ be compact and convex subsets, let
\begin{equation}
f: \...
- 55
2
votes
0
answers
70
views
Schauder Frames in nuclear vector spaces
In recent years, the definition of frame has been extended to locally convex topological vector spaces (lcs) (1). In particular, let $X$ be a lcs and $X'$ its dual. A sequence $\big((x_n,y_n)\big)_{n\...
- 655
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
0
votes
0
answers
57
views
Projection measure and an integral formula for Lipschitz functions
Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as
$$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
- 75
2
votes
1
answer
126
views
Subspaces of $C_0$ on which $p$-norm are equivalent?
I have a question concerning the generalization of the following fact.
Let $E = C^0([0,1],\mathbb{R})$ endowed with the $\|.\|_\infty$ norm. One can show that if $F$ is a subspace of $E$ for which ...
- 125
1
vote
0
answers
92
views
Modulus of Continuity, Heat Flow, and Derivative Estimates
Given $f : \mathbf{R}^d \to \mathbf{R}$, define $P_t f$ by
\begin{align}
(P_t f)(x) = \mathbf{E} \left[ f (x + \sqrt{t} G) \right],
\end{align}
where $G \sim \mathcal{N} (0, I_d)$ is a standard ...
- 801
0
votes
1
answer
102
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 4,153
2
votes
0
answers
116
views
For Polish $X,Y$, $L^p(X,Y)$ is separable
Let $X$ and $Y$ be Polish spaces. Equip $X$ with a Borel probability measure $\mu_X$ and $Y$ with a metric $d_Y$. We can define the $L^p$ space as follows:
Definition. Define
$\begin{align}L^p(X,Y) = \...
- 305
3
votes
0
answers
128
views
Image of trace operator on $W^{2,1}(\mathbb{R}^2)$
It is known that for a domain $\Omega\subset \mathbb{R}^2$ with $C^1$ boundary $\partial\Omega$, that the trace operator is bounded and surjective from $T:W^{1,1}(\Omega)\to L^1(\partial\Omega)$.
For ...
- 989
0
votes
0
answers
151
views
Help me find the antiderivative of $W(W(x))$ where $W$ denotes the Lambert W Function
Let $W$ denote the Lambert W Function. I must know the antiderivative of $W^2 = W(W(x))$.
I'm already convinced this function is not elementary. This does nothing to settle up my curiosity, as I ...
- 409