This paper by Jacques Simon provides a characterization of compact sets in the space $ L^p(0, T; B) $, where $ 1 \leq p \leq \infty $ and $ B $ is a Banach space. The characterization is crucial for the compactness method used in the existence of solutions to nonlinear boundary value problems. The main result, Theorem 1, states that a set $ F $ of functions is relatively compact in $ L^p(0, T; B) $ if and only if two conditions are satisfied: (1) the integral of any function in $ F $ over any subinterval of $ [0, T] $ is relatively compact in $ B $, and (2) the translations of any function in $ F $ converge uniformly to the function itself in $ L^p(0, T; B) $. The paper also discusses partial compactness, where a set $ F $ is bounded in $ L^q(0, T; B) $ with $ q > p $, and the compactness is achieved in $ L^p(0, T; B) $. The time criterion for partial compactness is replaced by a similar criterion in $ L_{\mathrm{loc}}^1 $. The paper further explores the compactness of functions with values in a compact space $ X $, and provides conditions under which such functions are relatively compact in $ L^p(0, T; B) $. It also considers the case of intermediate spaces and provides results for functions with values in such spaces. The paper concludes with applications of these results to various boundary value problems and discusses the optimality of the conditions provided. The results are compared with previous work and show that the conditions given are optimal and necessary for compactness in $ L^p(0, T; B) $. The paper also provides a detailed proof of the main result and discusses the implications of the results for the compactness method in the study of nonlinear boundary value problems.This paper by Jacques Simon provides a characterization of compact sets in the space $ L^p(0, T; B) $, where $ 1 \leq p \leq \infty $ and $ B $ is a Banach space. The characterization is crucial for the compactness method used in the existence of solutions to nonlinear boundary value problems. The main result, Theorem 1, states that a set $ F $ of functions is relatively compact in $ L^p(0, T; B) $ if and only if two conditions are satisfied: (1) the integral of any function in $ F $ over any subinterval of $ [0, T] $ is relatively compact in $ B $, and (2) the translations of any function in $ F $ converge uniformly to the function itself in $ L^p(0, T; B) $. The paper also discusses partial compactness, where a set $ F $ is bounded in $ L^q(0, T; B) $ with $ q > p $, and the compactness is achieved in $ L^p(0, T; B) $. The time criterion for partial compactness is replaced by a similar criterion in $ L_{\mathrm{loc}}^1 $. The paper further explores the compactness of functions with values in a compact space $ X $, and provides conditions under which such functions are relatively compact in $ L^p(0, T; B) $. It also considers the case of intermediate spaces and provides results for functions with values in such spaces. The paper concludes with applications of these results to various boundary value problems and discusses the optimality of the conditions provided. The results are compared with previous work and show that the conditions given are optimal and necessary for compactness in $ L^p(0, T; B) $. The paper also provides a detailed proof of the main result and discusses the implications of the results for the compactness method in the study of nonlinear boundary value problems.