All Questions
978 questions
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
0
votes
1
answer
476
views
Is my application of Faà di Bruno's formula correct?
Suppose I have a function $f$ from $\mathbb R^d$ to $\mathbb R$, and denote $g = \exp \circ f$.
I want to express the derivatives of the function $g$ in term of the derivatives of $f$ and vice versa, ...
0
votes
1
answer
118
views
Minimal norm problem whose unknown is an operator
Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that
$$
f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2
$...
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
0
votes
1
answer
475
views
uniqueness for Poisson equation in R^d with mildly regular data
I'm interested in Poisson's equation $-\Delta u=f$ set in the whole space $R^d$ (let's say $d\geq 3$ for simplicity) when $f$ has very little integrability, specifically $f\in L^{1+\varepsilon}$ for ...
0
votes
1
answer
102
views
Limit of minimizers of a class of functionals
Assume that $ \Omega $ is a smooth bounded domain in $ \mathbb{R}^n $. Consider a functional
$$
\mathcal{F}(u)=\int_\Omega(|\nabla u|^2+h^{-1}|u-u_0|^2) \, dx
$$
where $ h>0 $ is a parameter and $ ...
0
votes
1
answer
116
views
Integrable function [closed]
Suppose that $a, b, c_1$ and $c_2$ are real constant.
Is there the necessary and sufficient conditions of $a ,b, c_1,c_2 $ for the following integration is integrable? i.e.
$$\int_1^{\infty}\int_1^{\...
0
votes
1
answer
715
views
The dual space of the Dirac measures on an Abelian group
Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group.
Question. What would be natural vector space $\mathcal{R}$ of ...
0
votes
2
answers
225
views
Isomorphism theorem for subfactors?
It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors :
Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
0
votes
1
answer
140
views
Approximating a sequence of tempered distributions "uniformly" by Schwartz functions
This question has been motivated by the post making sense of distributions on the diagonal.
Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
0
votes
1
answer
139
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
0
votes
1
answer
258
views
Exponential derivative operator and continuous functions
I would like to know how to write down the following expression
$$f(y)=\frac{1}{y^{n} e^{\frac{d}{dy}}g(y)}$$
in the form of $e^{-\frac{d}{dy}}y^{-n}(\frac{1}{g(y)})$ where $n$ is an integer and $f,g: ...
0
votes
2
answers
230
views
Basic sequences in $ L_{p}$
Let $(x_{n})_{n}$ be a normalized basic sequence in $X=L_{p}$, with $1<p<2$.
Does there exist a subsequence $(x_{k_{n}})_{n}$ of $(x_{n})_{n}$ and a weakly null sequence $(x^{*}_{n})_{n}$ in $X^...
0
votes
0
answers
302
views
Banach space of discontinuous functions on a product space
Edit: According to comments of Eric Wofsy and Yemon Choi I edit the question.
For a (compact) topological space $X$, we put $A=\{f:X\to \mathbb{C}\mid f\text{ is bounded}\}$. We define a semi-...
0
votes
1
answer
124
views
Definition of center of ternary ring of operators
Let $H$ and $K$ be Hilbert spaces and $B(H,K)$ denotes the space of bounded operators from $H$ to $K$. Recall that a ternary ring of operators (TRO) $V$ is a closed subspace of $B(H,K)$ which is ...
0
votes
1
answer
212
views
The Quotient exponential operator
I have a question if you don't mind. I have the following quotient operator:
$$\frac{1}{e^{d/dx}(f(x))}$$
Where $f$ is a smooth function on $R$. I would like to get rid of the denominator. IS there ...
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
0
votes
2
answers
254
views
Proving that preorder on the set of measurable functions is symmetric
Let's say I have specific preorder $\prec$ on set $S$ and I want to prove that in fact it is equivalence relation. What is known already:
$S$ is set of measurable functions $f : \Omega \rightarrow X$ ...
0
votes
1
answer
463
views
Is a function needed here?
This question is related to my question Can we choose an element from a class?.
However, I decided to create a separate question.
Let $H$ be a complex Hilbert space and $H_1,\dotsc,H_n$ be closed ...
0
votes
0
answers
98
views
Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?
(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?)
Assume $(\Omega, \mu)$ is a probability space. Consider a ...
-1
votes
1
answer
74
views
Invariant ergodic measure Volterra operator
Define the Volterra operator $V$ on $C_0([0,1])\triangleq \{g \in C([0,1]):g(0)=0\}$ by
$$
f \mapsto \int_0^{\cdot} f(s)ds.
$$
Is there an example of an ergodic and $V$-invariant Borel probability ...
-1
votes
2
answers
409
views
$X$ is Polish and $N$ is countable. Is $N^X$ Polish? [closed]
$X$ is a separable, completely metrizable topological space equipped with its sigma algebra of Borel sets. $N$ is a countable space.
$X^N$ is the collection of all mappings from $N$ to $X$. It is ...
-2
votes
1
answer
314
views
Series representation for $\log(|\zeta(\frac{1}{2}+it)|)$
(Question is short and straight-forward. )
What is/are "nice and non-trivial" series representation/s of $\log(|\zeta(\frac{1}{2}+it)|)$ ??
By "nice and non-trivial" I mean contains no ...
-3
votes
1
answer
76
views
Minimal norm problem with linear combination of translation operator to be estimated
Follow up question from this one
Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form
$$
H = H(\alpha_1,...
-4
votes
2
answers
530
views
Inverse square-law as a positive definite kernel?
Newtons law for gravity states that:
$$F_{12} = \frac{G m_1 m_2} {|x_1-x_2|^2}$$
The function :
$$k(x,y):=\exp(-| x-y|^2)$$
is known to be a positive definite function, called the RBF-kernel.
It ...