Glossary

4.1 Introduction to currents and their properties

3 min read•august 14, 2024

Currents are powerful tools in geometric measure theory, extending integration and differentiation to non-smooth settings. They generalize oriented submanifolds, allowing us to study objects with singularities or non-smooth boundaries like fractals and soap films.

Currents have key properties: , , , and a . They also have a notion of , measuring their total variation. These properties make currents ideal for tackling complex geometric problems and variational principles.

Currents in Geometric Measure Theory

Definition and Role of Currents

Top images from around the web for Definition and Role of Currents

  • Visualization of currents in neural models with similar behavior and different conductance ... View original

    Is this image relevant?

  • Some Classes of Invariant Submanifolds of LP-Sasakian Manifolds View original

    Is this image relevant?

  • Visualization of currents in neural models with similar behavior and different conductance ... View original

    Is this image relevant?

1 of 3

Top images from around the web for Definition and Role of Currents

  • Visualization of currents in neural models with similar behavior and different conductance ... View original

    Is this image relevant?

  • Some Classes of Invariant Submanifolds of LP-Sasakian Manifolds View original

    Is this image relevant?

  • Visualization of currents in neural models with similar behavior and different conductance ... View original

    Is this image relevant?

1 of 3
  • Currents are continuous linear functionals on the space of smooth with compact
  • Generalize the concept of oriented submanifolds
    • Provide a framework for studying geometric objects with singularities or non-smooth boundaries (fractals, soap films)
  • The space of currents is a dual space to the space of smooth differential forms
    • Allows for the application of functional analysis techniques
  • Play a crucial role in geometric measure theory by extending the notion of integration and differentiation to non-smooth settings (Lebesgue integration, distributional derivatives)
  • Enable the development of a calculus on singular spaces and the analysis of geometric variational problems (minimal surfaces, isoperimetric problem)

Properties of Currents

  • Linearity
    • For any two currents T1T_1 and T2T_2 and scalars aa and bb, (aT1+bT2)(ω)=aT1(ω)+bT2(ω)(aT_1 + bT_2)(\omega) = aT_1(\omega) + bT_2(\omega) for any differential form ω\omega
  • Continuity
    • Continuous with respect to the weak topology on the space of differential forms
    • If a sequence of differential forms ωn\omega_n converges to ω\omega, then T(ωn)T(\omega_n) converges to T(ω)T(\omega) for any TT
  • Locality
    • The value of a current TT on a differential form ω\omega depends only on the values of ω\omega in the support of TT
    • Allows for the study of local properties of currents (density, tangent spaces)
  • Boundary operator
    • The TT, denoted by ∂T\partial T, is defined by (∂T)(ω)=T(dω)(\partial T)(\omega) = T(d\omega), where dd is the exterior derivative
    • Allows for the study of the topology of currents (homology, cohomology)
  • Mass
    • The mass of a current TT, denoted by M(T)M(T), is a non-negative real number that measures the total variation of TT
    • Defined as the supremum of T(ω)T(\omega) over all differential forms ω\omega with sup-norm less than or equal to 1
    • Provides a notion of size or magnitude for currents (area, volume)

Currents and Differential Forms

Relationship between Currents and Differential Forms

  • Currents are defined as continuous linear functionals on the space of smooth differential forms with compact support
  • The duality between currents and differential forms allows for the extension of classical operations to non-smooth settings
    • Integration (action of a current on a differential form)
    • Differentiation (exterior derivative of a differential form corresponds to the boundary of a current)
  • The action of a current TT on a differential form ω\omega is denoted by T(ω)T(\omega) and can be interpreted as a generalized notion of integration
    • Extends the concept of integration of differential forms over smooth submanifolds to non-smooth objects (rectifiable sets, )
  • The space of currents is a larger space than the space of smooth submanifolds
    • Includes objects with singularities and non-smooth boundaries that can still be represented by currents (fractals, soap films)

Solving Problems with Currents

Applications of Currents in Geometric Measure Theory

  • Study the existence and regularity of minimal surfaces
    • Formulate the problem in terms of finding stationary points of the mass functional on the space of currents
    • Plateau problem: find a surface of minimal area spanning a given boundary curve by minimizing the mass of currents with the prescribed boundary
  • Model the geometry of soap films and bubbles
    • Objects can be modeled as currents that minimize the mass functional subject to certain constraints (area, volume)
  • Investigate the existence and structure of singular minimizers in various geometric variational problems
    • Isoperimetric problem: find a set of given volume with minimal surface area
    • Willmore problem: find a surface that minimizes the total squared mean curvature
  • Define and study the concept of rectifiable sets
    • Sets that can be approximated by Lipschitz images of subsets of Euclidean space
    • Allows for the extension of geometric measure theory to more general spaces (metric spaces, Banach spaces)

Key Terms to Review (21)

Ambrosio: Ambrosio refers to a significant figure in the study of currents, particularly in the context of geometric measure theory. His work laid the foundation for understanding the mathematical properties and applications of currents, which are generalizations of differential forms used to analyze geometric and topological structures in a rigorous way. The insights provided by Ambrosio have been pivotal in the development of modern measure theory, influencing how we interpret geometric data and analyze various forms of convergence in higher dimensions.
Boundary of a current: The boundary of a current is a key concept in geometric measure theory that describes the set of points where a current, which is a generalization of the notion of integration over submanifolds, meets its complement. This concept helps in understanding how currents behave in relation to their surrounding space and is essential in exploring properties like integration by parts and the relationship between different currents.
Boundary Operator: The boundary operator is a mathematical tool used in geometric measure theory to define the boundary of chains and currents. It transforms a chain or current into its boundary, effectively capturing how the geometry of a space is structured and changing as one considers its boundaries. This operator plays a crucial role in various concepts, including the relationship between flat chains and cochains, the slicing and projection of currents, and the formulation of approximation theorems.
Continuity: Continuity refers to the property of a function or a mapping where small changes in the input result in small changes in the output. This concept is crucial in understanding how functions behave, particularly when examining limits, differentiability, and integrability within geometric measure theory.
Current: A current is a mathematical object used in geometric measure theory to generalize the concept of oriented submanifolds, allowing for a flexible and powerful framework to analyze geometric properties. Currents can be seen as distributions that represent generalized surfaces and allow for the integration of differential forms over them, facilitating the study of geometric structures and properties in higher dimensions.
Differential Forms: Differential forms are mathematical objects that generalize the concept of functions and vectors, providing a framework to perform integration on manifolds. They play a crucial role in various areas of analysis, geometry, and physics, allowing us to express integrals over curves, surfaces, and higher-dimensional spaces in a concise and elegant way.
Divergence Theorem: The Divergence Theorem relates the flow of a vector field through a closed surface to the behavior of the vector field inside the volume enclosed by that surface. It states that the integral of the divergence of a vector field over a volume is equal to the integral of the vector field itself over the boundary of that volume. This theorem is foundational in understanding how currents behave and is also crucial in exploring sets of finite perimeter and their geometrical properties.
Federer: Federer refers to the mathematician Herbert Federer, known for his groundbreaking contributions to geometric measure theory, particularly in the development of the theory of currents and rectifiable sets. His work laid the foundation for understanding how to generalize concepts of integration and differentiation in higher dimensions, which connects deeply to various aspects of geometric measure theory.
Linearity: Linearity refers to a property of mathematical functions or transformations where they satisfy two key principles: additivity and homogeneity. This means that a linear function will produce outputs that are directly proportional to its inputs, maintaining a straight-line relationship in its graphical representation. Understanding linearity is crucial when working with currents, as it impacts how these mathematical objects behave under various operations.
Locality: Locality refers to the property of a mathematical object that allows us to analyze its behavior in a small, focused region rather than needing to consider the entire space at once. This concept is crucial in understanding how currents, which generalize the notion of surfaces and distributions, can be studied effectively through local properties and behaviors, allowing for a clearer understanding of their overall characteristics.
Mass: In the context of geometric measure theory, mass refers to a generalized notion of size that extends the concept of measure to higher-dimensional spaces, particularly in relation to currents. Mass plays a critical role in understanding properties of normal and rectifiable currents, where it quantifies how much 'weight' a current carries and allows for comparisons between different currents and their behaviors under various operations.
Multilinear Functional: A multilinear functional is a type of function that takes multiple vector inputs and returns a scalar, exhibiting linearity in each of its arguments. This means that if you fix all but one input, the functional behaves like a linear function of that remaining input, making it particularly useful in various mathematical contexts, including geometry and analysis. This property allows multilinear functionals to play a significant role in the study of currents and their associated properties.
Pullback: In differential geometry and geometric measure theory, a pullback refers to a mathematical operation that allows one to transfer functions, forms, or currents from one space to another via a mapping. It enables the manipulation of objects defined on one manifold using the structure of another manifold, often providing insights into the geometric and topological properties of the spaces involved.
Pushforward: Pushforward is a mathematical operation that takes a measure or current defined on one space and transfers it to another space via a smooth map. This process allows for the analysis of geometric properties and integrations on the target space, providing a way to relate different structures through mapping. Understanding pushforward is crucial in connecting concepts like currents and flat chains, where it plays a vital role in the transformation and manipulation of these objects across different dimensions.
Rectifiable Current: A rectifiable current is a mathematical object in geometric measure theory that generalizes the notion of oriented surfaces. It is defined as a current that can be represented as a finite sum of integral currents, which have well-defined area and orientation properties. This concept connects to various properties of currents, including how they can be sliced and projected, as well as their role in the closure theorem that establishes conditions for their convergence and compactness.
Smooth Current: A smooth current is a generalized notion of integration over smooth manifolds, which allows for the integration of differential forms on these manifolds. It extends the idea of currents to include more regular behaviors and properties, enabling a deeper understanding of geometric measure theory and related concepts. Smooth currents facilitate operations like slicing and projection, highlighting their importance in the study of geometric structures and analysis.
Stokes' Theorem for Currents: Stokes' Theorem for currents is a fundamental result in geometric measure theory that relates the integration of differential forms over a manifold to the integration of their exterior derivatives over the boundary of that manifold. This theorem connects the properties of normal and rectifiable currents with the way differential forms behave, emphasizing the interplay between geometry and analysis.
Strong Convergence: Strong convergence refers to a type of convergence in functional analysis where a sequence of elements converges to a limit in a manner that is both stable and uniform. In the context of currents, strong convergence means that the currents approach a limit current such that the associated integrals converge for all test forms. This concept is important for understanding how different currents behave and interact, ensuring that operations on these currents can be performed reliably.
Support: In geometric measure theory, the support of a current or a varifold refers to the closure of the set where the current or varifold has non-zero mass. This concept is essential as it helps to determine the regions where the current or varifold has significant contribution and provides insight into their geometric properties, including how they can be approximated by rectifiable currents or how they behave under various operations like slicing and projection.
Varifolds: Varifolds are generalizations of smooth surfaces used in geometric measure theory, allowing for a broader framework to study geometric objects with singularities or varying dimensions. They provide a way to analyze and represent sets that may not be rectifiable, making them essential for understanding more complex geometric structures.
Weak convergence: Weak convergence refers to a type of convergence for sequences of measures or functionals, where a sequence converges to a limit in the sense that it preserves the action of continuous linear functionals. This concept is crucial in the analysis of generalized functions, currents, and variational problems, as it allows for the treatment of limits that may not be pointwise or norm-convergent, thereby linking to various fundamental results and properties in geometric measure theory.
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Back
Practice QuizGlossary
Practice QuizGlossary
Next guide