Romulo Diaz Carlos | arXiv Science

arXiv2026

An Intrinsic Sobolev Trace Theory for Riemannian Vector Bundles with Applications to Quasilinear Elliptic Equations

Let \(\mathbf{E}\to M\) be a finite-rank Riemannian vector bundle over a compact Riemannian manifold with nonempty smooth boundary, equipped with a compatible connection. We develop an intrinsic trace theory for Sobolev sections defined through weak covariant derivatives. For every integer \(m\ge1\) and every \(1\le p<\infty\), we construct continuous trace operators for the covariant derivatives up to order \(m-1\) and characterize the Sobolev space with homogeneous Dirichlet boundary conditions as the kernel of the corresponding trace operator. As an application, we establish the existence of ground state solutions for a class of quasilinear elliptic equations on Riemannian vector bundles with generalized \((p,q)\)-growth. The proposed framework unifies several important geometric operators, including the Bochner \(p\)-Laplacian, the \((p,q)\)-Bochner Laplacian, and prescribed mean curvature-type operators.

math.AP↗

arXiv2026

Global Analysis: An Introduction to Nonlinear Analysis and Its Variational Methods on Riemannian Manifolds

This monograph develops an introduction to global analysis centered on the interaction between differential geometry, functional analysis, partial differential equations, and variational methods on Riemannian manifolds. Beginning with smooth and Riemannian geometry, it develops Sobolev spaces, distributions, interpolation and fractional regularity, differential and pseudodifferential operators on vector bundles, elliptic theory, heat methods, bounded geometry, and trace theorems. It then treats Fredholm and index theory, culminating in the Atiyah--Singer index theorem, followed by geometric evolution equations and Ricci flow, infinite-dimensional geometry on Banach and Hilbert manifolds, and variational methods including the direct method, Palais--Smale theory, deformation arguments, the mountain pass theorem, and the Nehari method. Particular emphasis is placed on explicit proofs, the passage from local Euclidean estimates to intrinsic global statements, and the precise geometric hypotheses required in compact, noncompact, and boundary settings. The text is intended for advanced undergraduate and graduate students, as well as readers approaching global analysis from geometry or differential equations.

math.DG↗