46
Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References Numerical Harmonic Analysis Group and TUM Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups Hans G. Feichtinger [email protected] , www.nuhag.eu Faculty of Mathematics, Univ. Vienna (retired) Guest professor TUM, Spring 2017 & 2018 Sept. 2018: Guest professor, Charles Univ. Prague Novi Sad, August 29th, 2018, ICGF2018 Hans G. Feichtinger [email protected] , www.nuhag.eu Banach Spaces of Ultra-Distributions over Locally Compact Ab

Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Numerical Harmonic Analysis Group and TUM

Banach Spaces of Ultra-Distributionsover Locally Compact Abelian Groups

Hans G. [email protected] , www.nuhag.euFaculty of Mathematics, Univ. Vienna (retired)

Guest professor TUM, Spring 2017 & 2018

Sept. 2018: Guest professor, Charles Univ. Prague

Novi Sad, August 29th, 2018, ICGF2018

Hans G. Feichtinger [email protected] , www.nuhag.eu Faculty of Mathematics, Univ. Vienna (retired) Guest professor TUM, Spring 2017 & 2018 Sept. 2018: Guest professor, Charles Univ. PragueBanach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 2: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

submitted ABSTRACT

It is clear that the theory of tempered distributions is in somesense limited, because it does not allow to define the Fouriertransform for objects which have exponential growth. On the otherhand the Schwartz-Bruhat theory, which is the analogue ofL.Schwartz theory of tempered distributions for general LCA(locally compact Abelian) groups is already quite cumbersome.Since the borderline between Banach spaces of test functions whichare smaller and smaller and the trivial one (the useless space,consisting only of the zero-function) is quite thin it is interesting totake a look at the relevant condition, which is formulated in theclassical Acta Mathematica paper by Yngve Domar entitledHarmonic analysis based on certain commutative Banachalgebras. There the so-called Beurling-Domar condition(BD) is formulated, see Hans Reiter’s book ([23, 26]).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 3: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

We will discuss various aspects of this approach and to whichextent it allows to build Banach spaces of test functions (andcorresponding distributions), and even finally Frechet spaces of thistype, over general LCA groups. We hope to indicate that thisview-point allows certain unifications and technical simplificationscompared to the technical details needed either in theSchwartz-Bruhat or in the now classical theory ofultra-distributions over the Euclidean space.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 4: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

My Overall Goals

Let me provide some personal background.As a student of Hans Reiter ([23]) I was immersed into the area ofHarmonic Analysis1 from the beginning, in the spirit of Andre Weil([30]): The natural setting for Fourier Analysis is the world of LCAgroups.Results for Rn should not be proved by induction, but viewing it asa generic LCA group. Moreover, results formulated for generalLCA groups should not be mere transcriptions of well knownresults for the special case G = Rn, so ideally a result should bevalid in full generality but also interesting for Euclidean spaces.Influenced by the work of Hans Triebel (long list of books,beginning with [28, 29] and Elias Stein ([27]) tried to dealwith function spaces on LC groups.

1or what is often called AHA: Abstract Harmonic Analysis, but he did notlike this expression!

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 5: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The setting of LCA Groups

Let us quickly recall that LCA ( = locally compact Abelian) groupsG are the natural framework for Fourier Analysis. It contains thefamily of elementary LCA groups, which are products of Euclideanspaces Rd and related groups relevant for classical FourierAnalysis: periodic functions living on the torus, discretenon-periodic signals living on Z and finite vectors representingperiodic-discrete signals interpreted as functions on Zn (Z/nZresp. the unit-roots of order n).Nowadays it is even recognized by engineers (see [3]) that the viewpoint of Abstract Harmonic Analysis (AHA) helps to take a unifiedapproach to the different settings where the ordinary Fouriertransform makes sense, which requires the (translation invariant)Haar measure on the group G and the pure frequencies aliascharacters, which constitute the (multiplicative) dual group G.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 6: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The setting of LCA Groups II

More formally we require that G is a topological, locally compactgroup with a commutative group law, written usually as addition.In the case of Rd it is simply addition of vectors in Rd .A character is simply a homomorphism from G into the unit circleU, resp. a continuous, complex-valued function χ : G 7→ C with|χ(x)| = 1 and χ(x + y) = χ(x)χ(y), ∀x , yG (exponential law).With the topology of uniform convergence over compact subsets ofG this set of functions is again a LCA group, called the dual groupresp. frequency domain. By Pontrjagin’s theorem the natural

embedding of G into the dual groupG establishes an isomorphism.

In this sense every LCA is a dual group.Using the (essentially unique) Haar measure on G one candefine for any bounded measure µ on G the Fourier-(Stieltjes)transform via µ(χ) = µ(χ).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 7: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The setting of LCA Groups III

For every such group one can either define(L1(G ), ‖ · ‖1

)with the

help of the Haar measures, introducing convolution via

[f ∗ g ](z) =

∫Gg(x − y)f (y)dy

or more elegantly (avoiding integration theory, see [16]) byidentifying the Banach space (Mb(G ), ‖ · ‖Mb

) of all boundedmeasures with the dual of

(C0(G ), ‖ · ‖∞

)on the one hand, and

with the Banach algebra of translation invariant operators on(C0(G ), ‖ · ‖∞

)on the other hand, thus defining a multiplication

(called convolution) in (Mb(G ), ‖ · ‖Mb). This last identification is

characterized by the fact that it identifies the Dirac measure δxwith the shift operator Tx , with [Tx f ](z) = f (z − x).In other words we require

δx ∗ f = Tx f , f ∈ C0(G ). (1)

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 8: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The setting of LCA Groups IV

The convolution µ1 ∗ µ2 can be characterized by the compositionlaw for the corresponding “linear translation invariant systems” (onG) but also by taking (in a suitable sense) limits of convolutions ofdiscrete measures, based on the simple rule that follows from (1).

δx ∗ δy = δx+y = δy ∗ δx , ∀x , y ∈ G. (2)

The convolution theorem for discrete measures of the formµ =

∑∞k=1 ckδxk with

∑∞k=1 |ck | <∞ follows directly from the

exponential law, and by taking suitable limits (in the strongoperator topology) one obtains the convolution theorem

µ1 ∗ µ2 = µ1 · µ2, µ1, µ2 ∈Mb(G ), (3)

as well as injectivity of the mapping µ 7→ µ.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 9: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The setting of LCA Groups V

What we do not have (compared to the situation over G = Rd):

1 a general LCA does not have a differentiability structure (Liegroup), so smoothness has to be described differntly

2 there is not a nice group of automorphism (dilations), whichallows to produce bounded approximate units (Diracsequences) or summability kernels (in FL1(G)) by dilation;

3 there are not always arbitrary fine lattices Λ within G, i.e.discrete, cocompact subgroups with small fundamentaldomain (like αZd C Rd , for small α > 0).

A non-obvious example of a totally disconnected LCA group is thegroup of p-adic numbers Qp (a completion of Q with respect to anon-Euclidian distance, useful for number theoretic considerations).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 10: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Ultradistributions and the Fourier Transform

S0

Schw

Tempered Distr.

Ultradistr.

SO’

L2

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 11: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Spectrogram of functions in Sobolev Spaces

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 12: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Sobolev Embedding and(S0(Rd), ‖ · ‖S0

)

Figure: blue = Sobolev space, yellow = weighted L2

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 13: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Sobolev Embedding and(S0(Rd), ‖ · ‖S0

)II

We will denote (for now) by L2s the weighted L2-space with weight

vs(t) = (1 + |t|2)s/2, for s ∈ R. Then the Sobolev space(Hs(Rd), ‖ · ‖Hs

)is defined as the Fourier inverse image of L2

s (Rd)(with natural norm).

Theorem

For s > d one has

Qs(Rd) := Hs(Rd) ∩ L2

s ⊂ S0(Rd),

with continuous embedding with respect to the natural norms.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 14: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Beurling Algebras

For me the study of function spaces started with Segal algebras(cf. [24]) and Beurling algebras as described in Reiter’s book ([23]).

The first family of Banach spaces (S , ‖ · ‖S) can be described (in amore modern terminology) as dense Banach ideals within theBanach convolution algebra

(L1(G ), ‖ · ‖1

), with the extra property

that the usual approximate units (which may be chosen from thedense subset S ⊂ L1(G )) satisfy ‖f − eα ∗ f ‖S = 0 for all f ∈ S .Among all these Segal algebras the so-called Wiener algebraW (C0, `

1)(Rd) (which can be defined over LCA groups) and theSegal algebra

(S0(G ), ‖ · ‖S0

)play an important role.

Both are the smallest elements within subfamilies of Segalalgebras, with the additional pointwise Banach modulestructure over C0(G ) or FL1(G ) respectively.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 15: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Double Module Structures

Any Segal algebra S ⊂ L1(G ) has by definition an isometricallytranslation invariant norm and in fact the property

‖µ ∗ f ‖S ≤ ‖µ‖Mb‖f ‖S ∀µ ∈Mb(G ), f ∈ S .

By the convolution theorem its Fourier transform image FS has apointwise module structure over FL1(G), but on the other handmany Segal algebras are pointwise

(C0(G ), ‖ · ‖∞

)-modules (the

Wiener algebra being the smallest) and even more are pointwiseFL1(G) modules (the Fourier image of L1(G), via Pontrjagin), andthere is a smallest one, W (FL1, `1)(G), defined for any LCAgroup, also denoted as

(S0(G ), ‖ · ‖S0

)(see [12], [19]).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 16: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Work of Arne Beurling

Let us recall the definition of so-called Beurling weights, resp.sub-multiplicative weight functions, i.e. satisfying

w(x + y) ≤ w(x)w(y), ∀x , y ∈ G. (4)

Without loss of generality we will restrict our attention tocontinuous weights satisfying w(x) ≥ w(0) = 1.

Definition

A weight function w on a locally compact abelian group G is saidto satisfy the condition of Beurling-Domar if the followingcondition is satisfied for every x ∈ G:∑

n≥1

log w(xn)

n2<∞. (5)

(In case of addditive notation is used xn is replaced by nx .)

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 17: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Beurling continued

In fact, in his address at the 9th Congr. Math. Scand. in 1938Beurling assumes that the weight function should satisfy the extracondition that w(ρx) ≥ w(x), for x ∈ R, ρ > 1. We refer mostly toDomar’s paper [7] and Reiter’s book [23].The relevant term is the concept of quasi-analyticity which istreated in great detail in the books of P. Koosis ([21, 20]) or thereference to the Denjoy-Carleman Theorem (Thm.1.3.8) inL. Hormander’s book [18] (see for a first summary published in1979, [10, 9], and a more recent from 2007: [17]).EXAMPLES:

polynomial weights of the form (1 + |x |)s , s ≥ 0; or

subexponential weights with α ≥ 0 and β ∈ [0, 1), of the form

w(x) = eα|x |β.

.Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 18: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The Relevance of the (BD)-condition

It is clear that stronger weights make the space L1w (G ) smaller. Its

members have to satisfy stronger decay conditions at infinity, andby consequence the Fourier transform will show a higher degree ofsmoothness.However it is not clear whether FL1

w (G ) still contains compactlysupported functions (even over the real line this question ismeaningful), and it is exactly here where the (BD)-condition playsthe decisive role. It distinguishes the quasi-analytic (too strong)weights from the “good ones” (the ones satisfying (BD)), or thenon-quasi-analytic class.If (and only) if (BD) is satisfied the Fourier image of L1

w (G ) is aregular algebra, meaning that it has non-zero functions ofarbitrary small support and many other good properties whichwe are used from the ordinary Fourier algebra FL1(Rd).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 19: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces I

For the definition of new function spaces from old ones the methodof Wiener amalgam spaces has turned out to be very versatile anduseful, and allows to generate many interesting Banach spaces (oftest functions or by duality distributions).The general theory of amalgam spaces (as developed in [13]) isbased on the use of so-called BUPUs (bounded uniform partitionsof unity), which allow to produce an “amalgam”, generated fromsome local component (describing the local behaviour of a functionor distribution), and its global comportment (decay or summabilityproperties of the local property, usually expressed by means of(mixed norm) weighted Lq-spaces).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 20: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

The classical “Wiener-type spaces”

The fact, that there are no inclusions between any two of thespaces

(Lp(Rd), ‖ · ‖p

), with 1 ≤ p ≤ ∞ has global (in one

direction) and local (in the other direction) reasons.W (Lp, `q)(Rd)The Wiener amalgam spaces W (Lp, `q)(Rd) allow to get rid ofthese restrictions, because they behave locally like Lp whileglobally their behaviour is that of `q. The family of these spaces is(more or less) closed under duality, under complex interpolation,but also pointwise multiplications and convolutions respect thelocal and the global component independently!See [13]

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 21: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Recalling the concept of Wiener Amalgam Spaces

Wiener amalgam spaces are a generally useful family of spaceswith a wide range of applications in analysis. The main motivationfor the introduction of these spaces came from the observationsthat the non-inclusion results between spaes

(Lp(Rd), ‖ · ‖p

)for

different values of p are either of local or of global nature. Hence itmakes sense to separate these to properties using BUPUs.

Definition

A bounded family Ψ = (ψn)n∈Zd in some Banach algebra(A, ‖ · ‖A) of continuous functions on Rd is called a regularUniform Partition of Unity if ψn = Tαnψ0, n ∈ Zd , 0 ≤ ψ0 ≤ 1,for some ψ0 with compact support, and∑

n∈Zd

ψn(x) =∑n∈Zd

ψ(x − αn) = 1 for all x ∈ Rd .

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 22: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Illustration of the B-splines providing BUPUs

100 200 300 400

0

0.2

0.4

0.6

0.8

1

spline of degree 1

100 200 300 400

0

0.2

0.4

0.6

0.8

1

spline of degree 2

100 200 300 400

0

0.2

0.4

0.6

0.8

1

spline of degree 3

100 200 300 400

0

0.2

0.4

0.6

0.8

1

spline of degree 4

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 23: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Recalling the concept of Wiener Amalgam Spaces II

Note that one can define the Wiener amalgam space W (B, `q)by the condition that the sequence ‖f ψn‖B belongs to `q(Zd) andits norm is one of the (many equivalent) norms on this space.

Different BUPUs define the same space and equivalent norms.Moreover, for 1 ≤ q ≤ ∞ one has Banach spaces, with naturalinclusion, duality and interpolation properties.Many known function spaces are also Wiener amalgam spaces:

Lp(Rd) = W (Lp, `p), same for weighted spaces;

Hs(Rd) (the Sobolev space) satisfies the so-called `2-puzzlecondition (P. Tchamitchian): Hs(Rd) = W (Hs , `

2),and consequently for s > d/2 (Sobolev embedding) thepointwise multipliers (V. Mazya) equal W (Hs , `

∞).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 24: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Minimality of Wiener’s algebra

The Wiener amalgam spaces are essentially a generalization of theoriginal family W (Lp, `q), with local component Lp and globalq-summability of the sequence of local Lp norms.In contrast to the “scale” of spaces

(Lp(Rd), ‖ · ‖p

), 1 ≤ p ≤ ∞

which do not allow for any non-trivial inclusion relations we havenice (and strict) inclusion relations for p1 ≥ p2 and q1 ≤ q2:

W (Lp1 , `q1) ⊂W (Lp2 , `q2).

Hence W (L∞, `1) is the smallest among them, and W (L1, `∞) isthe largest among them. The closure of the space of testfunctions, or also of Cc(Rd) in W (L∞, `1) is just Wiener’salgebra

(W (C0, `

1)(Rd), ‖ · ‖W), which was one of Hans

Reiter’s list Segal algebras. It can also be characterized asthe smallest of all solid Segal algebras.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 25: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Introducing Modulation Spaces

Having the possibility to define Wiener amalgam spaces withFLp(Rd) (the Fourier image of Lp(Rd) in the sense ofdistributions) as a local component allowed to introducemodulation spaces in analogy to Besov spaces, replacing more orless the dyadic decompositions on the Fourier transform side byuniform ones.Formally one can define the (unweighted) modulation spaces as

Mp,q(Rd) := F−1 (W (FLp, `q)) . (6)

or more generally the now classical modulation spaces

Msp,q(Rd) := F−1

(W (FLp, `qvs )

). (7)

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 26: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Fourier invariant modulation spaces

It is an interesting variant of the classical Hausdorff-Youngtheorem to observe that one has

Theorem

For 1 ≤ r ≤ p ≤ ∞ one has

F(W (F p, `r )) ⊆W (F r , `p);

and as a consequence for 1 ≤ p, q ≤ 2:

F(W (Lp, `q)) ⊆W (Lq′, `p

′).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 27: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

General Wiener Amalgam Spaces II

The general Wiener Amalgam Spaces are described by W (B,C )for general local B or global components C .An important subclass of this family are the function spaces whichare both Wiener amalgams and modulation spaces, resp. Wieneramalgam spaces which are Fourier invariant (for G = Rd).

Here first W (FLp, `p)(Rd)(Rd) comes to mind, for 1 ≤ p ≤ ∞,with the special case L2(Rd) for p = 2, and S0(Rd) for p = 1 resp.its dual S ′0(Rd) corresponding to p =∞.More generally one can take weighted components both in thelocal component by considering e.g. FLpw (Rd) and the samein the global direction (see [15]).

W (FLpw , `pv ),W (FL1w , `

1v );W (FL1

v , `1w ).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 28: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces & Modulation Spaces

The defintion of modulation spaces(Ms

p,q(Rd), ‖ · ‖Msp,q

)has been

based on the idea that one decomposes the Fourier transform of agiven f ∈ Lp(Rd) and measures the `q-behavior of those localpieces, so essentially to define Mp,q(Rd) as the inverse Fouriertransform of the Wiener amalgam W (FLp, `q), and the moregeneral spaces Ms

p,q(Rd) by “punishing” the contributions with aweight depending on the frequency, in the same way as one woulddo it for Sobolev spaces Hs(Rd) resp. for the Besov spaces(Bs

p,q(Rd), ‖ · ‖Bsp,q

).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 29: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces and Gabor Analysis

Both the Wiener Amalgam Spaces with local components of theform FLpw and global component Lqm and modulation spaces(which can be viewed as Fourier images of such a WienerAmalgam) via Gabor Analysis which in turn allows to derive someof the mapping properties for these spaces.The usual procedure is the verification of mapping properties for(Gabor) atoms, providing results for global (weighted) `1-spaces,then extend by duality and (complex) interpolation to the generalresults.The classical case is the Fourier invariance ofS0(Rd) = W (FL1, `1)(Rd). Here one starts with

‖f ‖S0 =∑n∈Zd

‖f ψn‖FL1 <∞.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 30: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces and Gabor Analysis II

This clearly implies that f , as an absolutely convergent series in(FL1(Rd), ‖ · ‖FL1

)belongs to FL1(Rd), resp. f ∈ L1(Rd), but we

would like to have f ∈ S0(Rd). Using the existence of someh ∈ S(Rd) ⊂ S0(Rd) ⊂ FL1(Rd) with Txnh · ψn = ψn (for xn wellchosen) we get, for some constant C > 0:

‖f ‖S0 =∑n∈Zd

‖Txnh ∗ f ψn‖1 ≤∑n∈Zd

‖M−xnh‖1‖f ψn‖S0

and consequently for all f ∈ S0(Rd):

‖f ‖S0 ≤∑n∈Zd

‖h‖1‖f ψn‖1 = C‖h‖FL1‖f ‖S0 .

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 31: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces and Shubin Classes I

Among the Fourier invariant spaces those with p = 2 are of coursethe most natural ones, especially for equal weights in the time andin the frequency direction, of the form

w(x) = ws(x) = 〈x〉2 = (1 + |x |2)s/2.

We expect (correctly) that they have to satisfy a weightedL2-condition in the time direction and a similar one in thefrequency direction, i.e. we have the intersection of some L2

w (Rd)with a Sobolev space Hs(Rd).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 32: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Wiener Amalgam Spaces and Shubin Classes II

It is hence not surprising that the weightvs(x , y) = (1 + x2 + y2)s/2 allows to describe this intersectionusing the STFT (Short Time Fourier Transform), in other words,that we have M2

vs (Rd)

The original definition describes Shubin spaces(Qs(Rd), ‖ · ‖Qs

)in the context of the harmonic oscillator. They can also becharacterized by weighted `2-conditions on the Hermitecoefficients. Moreover they form a Fourier invariant (one by one)of Banach spaces, and in fact Banach algebras for s > d (i.e.whenever they are embedded into the Banach algebra(S0(Rd), ‖ · ‖S0

)).

Similar results are valid for LCA groups!

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 33: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Compactness in TMIBs

Let me mention that the setting of TMIBs also allows to extend theclassical compactness criteria for Lp(R)-spaces as described in [14].

Theorem

A bounded subset M of a Banach space (B, ‖ · ‖B) is relativelycompact if and only it is tight and equicontinuous, i.e. if and onlyif for ε > 0 there exist two functions, one in g ∈ L1

η and another

one in h ∈ L1ω such that

1 ‖h · f − f ‖B < ε ∀f ∈ M;

2 ‖g ∗ f − f ‖B < ε ∀f ∈ M;

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 34: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Tauberian Consequences

By means of Tauberian arguments for the Beurling algebras in use(as described in [23]) in combination with an abstract version ofthe ideal theorem for Segal algebras (see e.g. [8]), or more directly)one can also show for any TMIB:

Theorem

For any TMIB (which by assumption contains W (L1w , `

1η) as a

dense subspace) for any Gauss-function the set finite linearcombinations of translates forms a norm-dense subspace.

Note/Problem: It might be of course a nice mathematical problemto find, for any given number k ∈ N the best approximation bysuch finite linear combinations in the given norm. Especiallyfinding the optimal centers will be a challenge.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 35: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Double Module Structures

There is another paper (from 1983), jointly with W. Braun (whichwas written essentially in Heidelberg) on Banach spaces withdouble module structures, which found little attention so far ([1]);Essentially it answers a variety of questions (using the two modulestructures based on convolution and pointwise multiplication):

1 When is such a space a dual space?

2 Can one have different spaces with the “same norm”(like the sup-norm, on C0(Rd),Cub(Rd), L∞(Rd) etc.);

3 How can one determine the predual of a dual space?

For reflexive spaces we have exactly one space with this norm andthe same is true for the dual space: “test functions”are dense in in both (B, ‖ · ‖B) and (B ′, ‖ · ‖B′).

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 36: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Double Module Structures II

B

BA

BGA

BAG

BG

B0

BA

BGA

BAG

BG

+1

+3

5

−2

−4 − 3

−1

6

+4

+ 2

Figure: Figure captionHans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 37: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Double Module Structures: THE DIAGRAM

For(C0(Rd), ‖ · ‖∞

)resp.

(L∞(Rd), ‖ · ‖∞

)we actually get 6

different spaces, all endowed with the sup-norm.For L1RdN the diagram only has to examples, since it is the sameas the the closure of the test functions. The upper/biggest space issimply the space of all bounded measures.For many other concrete TMIBs we do not yet know how thatdiagram looks like.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 38: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Double Module Structures III

1

limα‖eα ∗ f − f ‖B = 0 ⇔ f ∈ BG

2

limβ‖hβ · f − f ‖B = 0 ⇔ f ∈ BA

3

∀β limα‖hβ · (eα ∗ f − f )‖B = 0 ⇔ BA

G

4

∀β limα‖eα ∗ (hβ · f − f )‖B = 0 ⇔ B

GA

5

∀α limα‖eα ∗ (hβ · f − f )‖B = 0 ⇔ BG

A

6

∀α limα‖eα ∗ (hβ · f − f )‖B = 0 ⇔ BA

G

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 39: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

Fourier Standard Spaces

There is work in progress concerning the rich structure of theso-called FOURIER STANDARD SPACES, which are byassumptions (to explain the Euclidean situation) Banach spaces oftempered distributions satisfying the following three assumptions:

1 S(Rd) ⊂ B ⊂ S ′(Rd); (continuous embeddings);

2 ‖Tx f ‖B = ‖f ‖B , ∀x ∈ Rd , f ∈ B;

3 ‖Ms f ‖B = ‖f ‖B , ∀s ∈ Rd , f ∈ B;

and in fact the assumption (which follows automatically if S(Rd)is dense in (B, ‖ · ‖B):

L1(Rd) ∗ B ⊆ B, FL1(Rd) · B ⊆ B.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 40: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

A minimal TMIB

Using the notations in the papers by Dimovski, Pilipovic,Prangoski and Vindas we can show (cf. [11]):

Theorem

W (FL1νE, `1ωE

) is the smalltes TMIB space within the family of allTMIBs which satisfy condition c) in the definition of TMIBs.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 41: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

There are clear connections to recent work of Dimovski, Pilipovic,Prangoski and Vindas (also presented at this conference), onTMIBs, translation and modulation invariant Banach spaces ofultra-distributions, see [5]. [4] and [6].

There is also the Schwartz-Bruhat space which is defined forgeneral LCA ([2]), but is rather difficulat to handle (as can be seenin the work of H. Reiter on the metaplectic group, see e.g.[25]).

We think that the characterization given 1975 by Osborne ([22]) isquite interesting, as it makes only use of (polynomial type) decayconditions on both the “time” and the “frequency” side, avoidingthe direct use of smoothness.

https://www.univie.ac.at/nuhag-php/dateien/talks/3275 Belgrade1717A.pdf

is my talk on Fourier Standard space given in Belgrad 2017.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 42: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

W. Braun and H. G. Feichtinger.

Banach spaces of distributions having two module structures.J. Funct. Anal., 51:174–212, 1983.

F. Bruhat.

Distributions sur un groupe localement compact et applications a l etude des representations des groupesp-adiques.Bull. Soc. Math. France, 89:43–75, 1961.

G. Cariolaro.

Unified Signal Theory.Springer, London, 2011.

P. Dimovski, S. Pilipovic, B. Prangoski, and J. Vindas.

Convolution of ultradistributions and ultradistribution spaces associated to translation-invariant Banachspaces.Kyoto J. Math., 56(2):401–440, 2016.

P. Dimovski, S. Pilipovic, B. Prangoski, and J. Vindas.

Translation-modulation invariant Banach spaces of ultradistributions.ArXiv e-prints, jul 2017.

P. Dimovski, S. Pilipovic, and J. Vindas.

New distribution spaces associated to translation-invariant Banach spaces.Monatsh. Math., 177(4):495–515, 2015.

Y. Domar.

Harmonic analysis based on certain commutative Banach algebras.Acta Math., 96:1–66, 1956.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 43: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

H. G. Feichtinger.

Results on Banach ideals and spaces of multipliers.Math. Scand., 41(2):315–324, 1977.

H. G. Feichtinger.

English translation of: Gewichtsfunktionen auf lokalkompakten Gruppen.Sitzungsber.d.osterr. Akad.Wiss., 188, 1979.

H. G. Feichtinger.

Gewichtsfunktionen auf lokalkompakten Gruppen.Sitzungsber.d.osterr. Akad.Wiss., 188:451–471, 1979.

H. G. Feichtinger.

A characterization of minimal homogeneous Banach spaces.Proc. Amer. Math. Soc., 81(1):55–61, 1981.

H. G. Feichtinger.

On a new Segal algebra.Monatsh. Math., 92:269–289, 1981.

H. G. Feichtinger.

Banach convolution algebras of Wiener type.In Proc. Conf. on Functions, Series, Operators, Budapest 1980, volume 35 of Colloq. Math. Soc. JanosBolyai, pages 509–524. North-Holland, Amsterdam, Eds. B. Sz.-Nagy and J. Szabados. edition, 1983.

H. G. Feichtinger.

Compactness in translation invariant Banach spaces of distributions and compact multipliers.J. Math. Anal. Appl., 102:289–327, 1984.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 44: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

H. G. Feichtinger.

Generalized amalgams, with applications to Fourier transform.Canad. J. Math., 42(3):395–409, 1990.

H. G. Feichtinger.

A novel mathematical approach to the theory of translation invariant linear systems.In Peter J. Bentley and I. Pesenson, editors, Novel Methods in Harmonic Analysis with Applications toNumerical Analysis and Data Processing, pages 1–32. 2016.

K. Grochenig.

Weight functions in time-frequency analysis.In L. Rodino and et al., editors, Pseudodifferential Operators: Partial Differential Equations andTime-Frequency Analysis, volume 52 of Fields Inst. Commun., pages 343–366. Amer. Math. Soc.,Providence, RI, 2007.

L. Hormander.

The Analysis of Linear Partial Differential Operators I.Number 256 in Grundlehren Math. Wiss. Springer, Berlin, 1983.

M. S. Jakobsen.

On a (no longer) New Segal Algebra: A Review of the Feichtinger Algebra.J. Fourier Anal. Appl., pages 1 – 82, 2018.

P. Koosis.

The Logarithmic Integral II.Cambridge Univ. Press, 1992.

P. Koosis.

The logarithmic integral. I. Corrected reprint of the 1988 original.Cambridge Studies in Advanced Mathematics. 12. Cambridge: Cambridge University Press., 1998.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 45: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

M. S. Osborne.

On the Schwartz-Bruhat space and the Paley-Wiener theorem for locally compact Abelian groups.J. Funct. Anal., 19:40–49, 1975.

H. Reiter.

Classical Harmonic Analysis and Locally Compact Groups.Clarendon Press, Oxford, 1968.

H. Reiter.

L1-algebras and Segal Algebras.Springer, Berlin, Heidelberg, New York, 1971.

H. Reiter.

Uber den Satz von Weil–Cartier.Monatsh. Math., 86:13–62, 1978.

H. Reiter and J. D. Stegeman.

Classical Harmonic Analysis and Locally Compact Groups. 2nd ed.Clarendon Press, Oxford, 2000.

E. M. Stein.

Singular Integrals and Differentiability Properties of Functions.Princeton University Press, Princeton, N.J., 1970.

H. Triebel.

Spaces of Besov-Hardy-Sobolev Type.B. G. Teubner, Leipzig, 1978.

H. Triebel.

Theory of Function Spaces., volume 78 of Monographs in Mathematics.Birkhauser, Basel, 1983.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups

Page 46: Banach Spaces of Ultra-Distributions over Locally Compact …univie.ac.at/nuhag-php/dateien/talks/3452_NoviSad18FeiA.pdf · 2018. 8. 29. · Beurling Algebras For me the study of

Submission Beurling Algebras Wiener Amalgams TEST Compactness Double Modules References

A. Weil.

L’integration dans les Groupes Topologiques et ses Applications.Hermann and Cie, Paris, 1940.

Hans G. Feichtinger Banach Spaces of Ultra-Distributions over Locally Compact Abelian Groups