Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
302 views

functions on intervals with endpoints

Would most analysts say that $(2/3) x^{3/2}$ is an antiderivative of $x^{1/2}$ on $[0,\infty)$, or just on $(0,\infty)$? More generally, is there a standard interpretation of the assertion "$F$ is an ...
James Propp's user avatar
  • 19.7k
8 votes
0 answers
196 views

Parametrizing derivations from the algebra of smooth functions on a manifold to its dual

$\newcommand{\Der}{\operatorname{Der}}$ $\newcommand{\Real}{{\mathbb R}}$ (Disclaimer: I fear this question may be a bit too basic for MO, but in my defence I have essentially zero differential ...
Yemon Choi's user avatar
  • 25.8k
0 votes
0 answers
143 views

description of a convex set of functions

Hi everyone, I have a question about the characterization of a set of functions. Let $\Phi$ a set containing all the functions $\phi(x): \mathbb{R}_+\rightarrow \mathbb{R}_{+}$ that satisfy the ...
Higgs88's user avatar
  • 69
7 votes
1 answer
286 views

a.e. convergence of the powers of an operator built from rotations

Consider two numbers $a,b\in R/Z$ and some integer $p\geq 1$. Let $T:L^p(R/Z)\rightarrow L^p(R/Z)$ be the operator given by $$T(f)(x)=1/2(f(x+a)+f(x+b))$$ For which values of $a,b$ do we have almost ...
coudy's user avatar
  • 18.7k
4 votes
0 answers
487 views

Convolutions and Toeplitz Operators

Let be $d>0$ an integer number and consider the Cartesian product $\mathbb Z^d$ as metric space, with the distance between $x,y\in\mathbb Z^d$ given by $\|x-y\|_1=\sum_{j=0}^d|x_j-y_j|$. Let be $...
Leandro's user avatar
  • 2,044
8 votes
0 answers
605 views

convergence rate in Wiener's approximation theorem

Wiener has the following fantastic results about approximations using translation families: Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
gondolier's user avatar
  • 1,839
0 votes
0 answers
301 views

Lifting of product of a Banach algebra

Let $A$ be a non unital Banach algebra. The product induces a bounded linear map $T:A \otimes_{\gamma} A\to A$ where $\otimes_\gamma$ denotes the Banach projective tensor product. A lifting of $T$ is ...
BigBill's user avatar
  • 1,222
3 votes
0 answers
84 views

Application and relevance of Sobolev gradients

The Sobolev gradient concept has been developed in the 1970s, with a first publication in 1985, and an introduction can be found at: Ranka I would like to learn how strong the impact of Sobolev ...
shuhalo's user avatar
  • 5,327
4 votes
0 answers
166 views

Relationship between sequential compactness of a convex set and its extremal points

Suppose that $X$ is a compact convex subset of a topological vector space. Suppose also that the extremal points of $X$ have the additional property that any sequence $x_n$ of extremal points has a ...
anonymous's user avatar
0 votes
0 answers
92 views

Class of integrable 0/1-functions "with no null sets."

I am looking for (the name of) a class of functions from $\mathbf{R}^2$ $(\mathbf{R}^n)$ to {0, 1} that are integrable. Let $f$ be in this class and $E$ be the set of all points where $f$ is equal to ...
Ben's user avatar
  • 567
0 votes
1 answer
296 views

Continuity of cylindrical functions.

Let $C_c^\infty(\mathbb R^n)$ be the functions from $\mathbb R^n$ to $\mathbb R$ with compact support, further let $X$ be a separable Hilbert space with a fixed orthonormal basis $(e_n)_n$. Define the ...
Jonas T's user avatar
  • 455
4 votes
1 answer
221 views

existence of charaterization of amenable groups by complementation?

Recall that we say that a closed space $F$ of a Banach space $E$ is complemented if there exists a contractive projection $P$ from $E$ onto $F$. Do you know a charaterization of discrete amenable ...
BigBill's user avatar
  • 1,222
11 votes
0 answers
309 views

Combinatorial Hilbert spaces

Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
David Feldman's user avatar
1 vote
0 answers
76 views

h-oscillating function

I need help understanding the following condition: $u_h\in L^2(\mathbb{T}^d)$, $\|u_h\|_{L^2(\mathbb{T}^d)}=1$, where $h$ is the semiclassical parameter and $\mathbb{T}^d$ is the flat torus, is ...
Rocha's user avatar
  • 11
2 votes
1 answer
265 views

Multiple ergodic averages with varying number of terms

Hi. I've been stuck on the following question for some time. Consider a sequence of functions $\left( f_n \right)$ from an ergodic space $\left( \mathsf{X}, \mathsf{S}, \mu \right)$ to $\left[ 0,1 \...
nonameisfinetoo's user avatar
0 votes
1 answer
116 views

Root and sign of a complicated bivariate function

Given two natural numbers $p$ and $i$, such that $0 < i \leqslant 2^p$, let $$ \Phi(p,i) := \frac{1}{2^p+1} + \frac{1}{(i+1)^2} - \frac{1}{2^p}\lg\left(\frac{2^p}{i}+1\right), $$ where $\lg x$ is ...
Christian Rinderknecht's user avatar
2 votes
0 answers
517 views

When deRham curve is bijection?

Motivation: Suppose we have deRham curve. From wikipedia: Consider some metric space $(M,d)$ (generally $R^2$ with the usual euclidean distance), and a pair of contraction mappings on M: $d_0:\ M \...
kakaz's user avatar
  • 1,626
1 vote
0 answers
125 views

base change for distributions

For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
Rami's user avatar
  • 2,649
6 votes
0 answers
354 views

Ordering of completely bounded maps

Let A be a C*-algebra, let H be a Hilbert space, and let $T:A\rightarrow B(H)$ be a completely bounded (cb) map (that is, the dilations to maps $M_n(A)\rightarrow M_n(B(H))$ are uniformly bounded). ...
Matthew Daws's user avatar
  • 18.7k
2 votes
0 answers
146 views

Subspace where an operator is positive

Given a self-adjoint operator $\hat{T}$ on a Hilbert space $\mathcal{H}$, and assuming it has a basis of eigenvectors $\{\phi_n\}$ such that $\hat{T}\phi_n=\lambda_n\phi_n$, one can consider the ...
Emilio Pisanty's user avatar
3 votes
0 answers
251 views

What is the origin of the metrization problem for compact convex sets?

The following is an ``old question in analysis:'' Is it true that every perfectly normal compact convex subset of a locally convex topological vector space is metrizable? Here perfectly normal means ...
Justin Moore's user avatar
  • 3,547
1 vote
0 answers
125 views

Isomorphisms of group extensions arising from antisymmetric forms

Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...
Ollie's user avatar
  • 1,411
2 votes
0 answers
131 views

Bounding an integral with a small parameter by log

I have been working through Erdos & Yau's `Linear Boltzmann equation as the weak coupling limit of a random Schrodinger Equation,' (arXiv link: http://arxiv.org/abs/math-ph/9901020), and for an ...
logbounded's user avatar
2 votes
0 answers
114 views

non-closed weak graph limit of symmetric operators

Hi Everyone, I was recently reading Reed & Simon's functional analysis textbook (the first volume), and it mentions casually on page 294 that weak graph limits of a sequence of symmetric ...
Tlas's user avatar
  • 21
1 vote
0 answers
149 views

Banach spaces with simple best approximate solutions

Let $\langle V,||.||\rangle$ be a Banach space such that: $\;\;$ for all continuous linear maps $\: L : V\to V \:$ and members $v$ of $V$, there exists a unqiue member $u$ of $V$ $\;\;$ that ...
user avatar
1 vote
1 answer
263 views

Need help with references on the status of a "Littlewood Problem"

The "Littlewood Problem" in the title asks for a characterization of finite sequences n1< ...< nk of integers such that zn1+zn2+...+znk≠0 for any complex number z of unit modulus. Does ...
Quotient Group's user avatar
1 vote
0 answers
136 views

Boundedness of Integral

Suppose we operate on the unit simplex $\Delta \subset \mathbb{R}^d$ with $0$ as a corner point. Define the integral $$ Iu(x):=\int_0^1 t^{|\beta|-1}x^\beta u(tx)\mathrm{d}t,\quad x\in \Delta $$ and ...
pil's user avatar
  • 233
2 votes
1 answer
194 views

Is there any result discribing the value of the correlation of a measurable function of `$X$` and itself: `$corr(f(X),X)$` ?

Let $X$ be a random variable, and $f$ a measurable function. Is there any particular relationship between the expression of $f$ and $corr(f(X),X)$? BACKGROUND The background of asking the value of $...
J.Xie's user avatar
  • 23
5 votes
0 answers
104 views

Regularity of simplices, part deux

This question is directly inspired by Pietro Majer's question and my answer to it. One can define a simplex, and the dihedral angles thereof in an infinite dimensional Hilbert space (one has to take ...
Igor Rivin's user avatar
  • 96.4k
1 vote
0 answers
119 views

Particular types of basis on a normed vector space of finite dimension

Is it true that on every normed vector space $V$ of dimension $n$ there exists a basis of norm $1$ vectors $v_i$, such that $\|\sum_{i=1}^n\epsilon_iv_i\|\geq 1$ for all possible combinations of $\...
Daniel's user avatar
  • 31
3 votes
1 answer
280 views

An analogue of an old proposition

For the absolute value $|C|=(C^*C)^\frac{1}{2}$ and the Hilbert-Schmidt norm $\parallel C\parallel_{HS}=(trC^*C)^\frac{1}{2}$ of the operator $C$. The following inequality is shown by Araki et al in ...
Russel's user avatar
  • 223
0 votes
0 answers
320 views

A result about Fredholm operator

When I read the article "Index Theory" in Handbook of global analysis, I meet a result as below(Corollary 2.13): If every $F_0\in \mathcal {F}(H_1,H_2)$, there is an open neighborhood $U_0\subseteq \...
Chen's user avatar
  • 381
1 vote
0 answers
135 views

Inequality involving BV norm and a regularizing kernel

In the same article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/# (related to this ...
Beni Bogosel's user avatar
  • 2,222
0 votes
0 answers
165 views

minimizing the integral of a function over square sets.

Hi! I'm interested in some problems, but to be honest i'm not sure of the field they belong to. Let $h(x,y)$ be a bivariate function on $X^2$, where $X$ is some nice topological space (for instance $...
kaleidoscop's user avatar
  • 1,352
1 vote
0 answers
159 views

variational problem under convexity constraints

I wonder if there is any method to compute variational problems subject to certain shape constraints (e.g., convexity, monotonicity, etc.). The literature I found on this topic (which I am no expert ...
gondolier's user avatar
  • 1,839
4 votes
1 answer
228 views

When can closedness of the range of an operator be checked on a positive cone?

Let $T:X\to Y$ be an operator between Banach spaces $X$ and $Y$. Assume that $X$ has a positive cone $C\subset X$, which generates $X$: every element of $X$ can be written as a difference of elements ...
user avatar
6 votes
0 answers
299 views

Spectrum of an operator arising in a dynamical problem

(Question edited according to Denis Serre comment). While studying the action of dilating map of the circle on probability measures, I ran across the following operator: $$\mathcal{K}^* : L^2_0(\mu)\...
Benoît Kloeckner's user avatar
3 votes
1 answer
181 views

Reference request - spectral radius formula for linear transformations in char p

I am finishing up a paper and I would like to be able to quote a theorem that does what is said in the title. To be specific let me introduce some notations: ${\bf F}$ is a local field of ...
Valerio Talamanca's user avatar
1 vote
0 answers
237 views

Variation of a function

There are probably some of you guys who already know some of the terms that I am going to use so in order to be not so boring I will put the definition to the end. Let $f$ be a piecewise expanding ...
sacowea's user avatar
  • 11
4 votes
0 answers
189 views

Boundedness criterion for operators on mixed Lebesgue spaces

Define the mixed Lebesgue space $l_{p,q}$ as the space of all doubly indexed sequences ${\bf a}= (a(i,j))_{i,j\in\mathbb{Z}}$ such that ...
Philipp's user avatar
  • 979
0 votes
0 answers
60 views

Relative homology of interlevel set

Let us consider a function $f:\mathbb{R}^3→\mathbb{R}$, $f(x,y,z)=x^3+y^3+z^3-5yz$. Can anybody drop a hint how to compute relative homology of interlevel sets with coefficients in $\mathbb{R}: H_{\...
quantum's user avatar
  • 181
0 votes
0 answers
138 views

Notion of simplicity of a function(al)

Given a function (functional actually) $f(x,g(x))$, can a notion of simplicity be attached with respect to the function $g(x)$? (all functions and args are real). Specifically, intuitively one could ...
Jorge's user avatar
  • 59
-1 votes
1 answer
311 views

A differential equation

let $g(s)$ be real-valued function defined on $[0,T]$ such that $g(T)=0$ and suppose that $g$ is a "nice function" Assume that $0<\gamma<1$, $v$ is a positive number, and $$\frac{dg}{ds}+(v\...
Lam's user avatar
  • 1
4 votes
1 answer
321 views

What functorial topologies are there on the space of linear maps between LCTVS?

Setup: we consider the category of locally convex topological vector spaces with morphisms as continuous linear maps. This time, I'm explicitly allowing the axiom of choice (or at least the Hahn-...
Andrew Stacey's user avatar
4 votes
0 answers
257 views

A matrix minimisation problem

Feel free to edit the title! Suppose A is a C*-algebra and $a,b\in A$ are self-adjoint. I'd be very happy with A being just $n\times n$ matrices. Question: If there are $t\in\mathbb R$ and $\...
Matthew Daws's user avatar
  • 18.7k
2 votes
1 answer
493 views

Convergence of Affine Transformations

Hi, I was wondering if anyone could point me to any sources regarding the convergence of iterated affine transformation, i.e. sequences where {a_n} is a set of affine transforms and the sequence: ...
streklin's user avatar
  • 690
10 votes
0 answers
439 views

Evaluating Shintani cone zeta functions

Hi everyone I am trying the evaluate sums of the form $$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$ ...
user3628's user avatar
  • 265
2 votes
0 answers
354 views

What is this effect in Fourier/additive synthesis called?

Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were $n*f_{...
cheater's user avatar
  • 165
2 votes
0 answers
114 views

Searching for inequalities relating a convolution-type integral of functions of modulus less than but close to one.

Suppose $f(x,y)$ and $g(x,y)$ are both measurable functions from $[0,1]\times[0,1]\to \mathbb{C}$ with $|f|,|g|<1$, and let $h(x,y)=\int_{0}^1 f(x,z)g(z,y) \ dz$. (So $|h(x,y)|<1$ also.) ...
Joe's user avatar
  • 88
2 votes
0 answers
137 views

Invariant linear manifolds for multiplication by the independent variable in L^2 (R)

In general I am trying to determine when the self-adjoint operator $M$ of multiplication by the independent variable in $L^2 (\mathbb{R})$ has a symmetric restriction to a dense linear manifold (non-...
rtwmartin's user avatar