Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Optimal Transport: Analysis IV

Description

This lecture covers the concept of optimal transport, including the Tonelli and Fubini theorems for functions in multiple dimensions. It explains the integration process and proof strategies, emphasizing the importance of measurable functions and box support. The instructor demonstrates the application of these theorems through examples involving triangles and simple functions.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructor

Maria Colombo

Official source

Related concepts (22)

Measurable function

In mathematics and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the of any measurable set is measurable. This is in direct analogy to the definition that a continuous function between topological spaces preserves the topological structure: the preimage of any open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral.

Simple function

In the mathematical field of real analysis, a simple function is a real (or complex)-valued function over a subset of the real line, similar to a step function. Simple functions are sufficiently "nice" that using them makes mathematical reasoning, theory, and proof easier. For example, simple functions attain only a finite number of values. Some authors also require simple functions to be measurable; as used in practice, they invariably are.

Integration by parts

In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation.

Fubini's theorem

In mathematical analysis, Fubini's theorem is a result that gives conditions under which it is possible to compute a double integral by using an iterated integral, introduced by Guido Fubini in 1907. One may switch the order of integration if the double integral yields a finite answer when the integrand is replaced by its absolute value. Fubini's theorem implies that two iterated integrals are equal to the corresponding double integral across its integrands.

Integration by substitution

In calculus, integration by substitution, also known as u-substitution, reverse chain rule or change of variables, is a method for evaluating integrals and antiderivatives. It is the counterpart to the chain rule for differentiation, and can loosely be thought of as using the chain rule "backwards". Before stating the result rigorously, consider a simple case using indefinite integrals. Compute Set This means or in differential form, Now where is an arbitrary constant of integration.

Related lectures (36)

Improper Integrals: Convergence and Comparison

Explores improper integrals, convergence criteria, comparison theorems, and solid revolution.

Integration by Parts MOOC: Analysis I MOOC: Analysis I (part 7) : Indefinite and definite integrals, integration (selected chapters)

Covers integration by parts, including practical applications and mnemonic aids.

Integration Techniques: Change of Variable and Integration by Parts

Explores advanced integration techniques such as change of variable and integration by parts to simplify complex integrals and solve challenging integration problems.

Probability Theory: Integration and Convergence

Covers topics in probability theory, focusing on uniform integrability and convergence theorems.

Harmonic Forms: Main Theorem