Fredholm alternative

A statement of an alternative that follows from the Fredholm theorems. In the case of a linear Fredholm integral equation of the second kind, (1)

the Fredholm alternative states that either equation (1) and its conjugate equation (2)

have unique solutions , for any given functions and , or the corresponding homogeneous equations (1prm) (2prm)

have non-zero solutions, where the number of linearly independent solutions is finite and is the same for both equations.

In the second case equation (1) has a solution if and only if where is a complete system of linearly independent solutions of (2prm). Here the general solution of (1) has the form where is some solution of (1), is a complete system of linearly independent solutions of (1prm), and the are arbitrary constants. Similar statements also hold for equation (2).

Let be a continuous linear operator mapping a Banach space into itself; let and be the corresponding dual space and dual operator. Consider the equations: (3) (4) (3prm) (4prm)

The Fredholm alternative for means the following: 1) either the equations (3) and (4) have solutions, for arbitrary right-hand sides, and then their solutions are unique; or 2) the homogeneous equations (3prm) and (4prm) have the same finite number of linearly independent solutions and , respectively; in this case, for equation (3), or (4) respectively, to have a solution, it is necessary and sufficient that , , or , , respectively; here the general solution of (3) is given by and the general solution of (4) by where (respectively, ) is some solution of (3) ((4)), and are arbitrary constants.

Each of the following two conditions is necessary and sufficient for the Fredholm alternative to hold for the operator .

1) can be represented in the form where is an operator with a two-sided continuous inverse and is a compact operator.

2) can be represented in the form where is an operator with a two-sided continuous inverse and is a finite-dimensional operator.