Bourbaki

Example

Tag 02TZ, permanent. Cite it as [Bourbaki, Tag 02TZ].

Théories spectrales, chapter III, § 5. Perturbation par une application linéaire compacte

Let X be a compact space, μ\mu a measure on X, real or complex according as K is equal to R\mathbf{R} or C\mathbf{C}, and N:X×X→KN : X\times X\rightarrow K a continuous function.

Let E denote the Banach space C(X;K)\mathscr{C}(X; K). Suppose given a function a∈Ea\in E and λ∈K−{0}\lambda \in K-\{0\}. Let us study the problem of the existence and uniqueness of the solutions f∈Ef\in E of the integral equation

f(x)−λ∫XN(x,y)f(y)dμ(y)=a(x)(x∈X)(3) f(x)-\lambda \int_XN(x, y)f(y)d\mu(y) =a(x)(x\in X) \tag{3}

For this, introduce the set FλF_{\lambda} of the solutions f∈Ef\in E of the associated homogeneous equation

f(x)−λ∫XN(x,y)f(y)dμ(y)=0(x∈X)(4) f(x)-\lambda \int_XN(x, y)f(y)d\mu(y) = 0(x\in X) \tag{4}

and the set GλG_{\lambda} of the solutions g∈Eg\in E of the transposed homogeneous equation of (4), that is to say

g(y)−λ∫XN(x,y)g(x)dμ(x)=0(y∈X)(5) g(y)-\lambda \int_XN(x, y)g(x)d\mu(x) = 0(y\in X) \tag{5}

If it is not empty, the set of the solutions of (3) is an affine subspace of E with direction FλF_{\lambda}.

For f∈Ef\in E and x∈Xx\in X, put

h(f)(x)=∫XN(x,y)f(y)dμ(y) h(f)(x) =\int_XN(x, y)f(y)d\mu(y)

the mapping f↦h(f)f\mapsto h(f) thus defined is a compact endomorphism of the Banach space E (cor. of prop. 2 of III, p. 26). The dual E′E' of E consists of the measures on X, real or complex according as K is equal to R\mathbf{R} or C\mathbf{C} (INT, III, p. 47, § 1, no3^o3, def. 2). The transpose th^th of hh is the endomorphism of E′E' characterized by the relation ⟨f,th(m)⟩=⟨h(f),m⟩\langle f,^th(m)\rangle =\langle h(f), m\rangle for f∈Ef\in E and m∈E′m\in E', that is to say

∫Xf(x)d(th(m))(x)=∫Xh(f)(x)dm(x) \int_Xf(x)d(^th(m))(x) =\int_Xh(f)(x)dm(x)
=∫X(∫XN(x,y)f(y)dμ(y))dm(x) =\int_X(\int_XN(x, y)f(y)d\mu(y))dm(x)
=∫X(∫XN(x,y)dm(x))f(y)dμ(y)(6) =\int_X(\int_XN(x, y)dm(x))f(y)d\mu(y) \tag{6}

for m∈E′m\in E' and f∈Ef\in E (INT, III, p. 84, § 4, no1^o1, th. 2).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.