First Order Expansion in the Semiclassical Limit of the Levy-Lieb Functional

Maria Colombo1, Simone Di Marino2, Federico Stra1,3

  • 1EPFL, AMCV, Lausanne, Switzerland.

Archive for Rational Mechanics and Analysis
|November 10, 2025
PubMed
Summary

This study proves the first-order expansion of the Levy-Lieb functional in the semiclassical limit of Density Functional Theory (DFT). Researchers established bounds for zero-point energy in systems with two electrons, using optimal transport and Dirichlet penalization.

Related Concept Videos

Second Derivatives and Laplace Operator01:22

Second Derivatives and Laplace Operator

The first order operators using the del operator include the gradient, divergence and curl. Certain combinations of first order operators on a scalar or vector function yield second order expressions. Second-order expressions play a very important role in mathematics and physics. Some second order expressions include the divergence and curl of a gradient function, the divergence and curl of a curl function, and the gradient of a divergence function.
Consider a scalar function. The curl of its...
2.6K
Linear Approximation in Frequency Domain01:26

Linear Approximation in Frequency Domain

Linear systems are characterized by two main properties: superposition and homogeneity. Superposition allows the response to multiple inputs to be the sum of the responses to each individual input. Homogeneity ensures that scaling an input by a scalar results in the response being scaled by the same scalar.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
338
First Law: Particles in One-dimensional Equilibrium01:10

First Law: Particles in One-dimensional Equilibrium

Newton's first law of motion states that a body at rest remains at rest, or if in motion, remains in motion at constant velocity, unless acted on by a net external force. It also states that there must be a cause for any change in velocity (a change in either magnitude or direction) to occur. This cause is a net external force. For example, consider what happens to an object sliding along a rough horizontal surface. The object quickly grinds to a halt, due to the net force of friction. If...
7.9K
Second Order systems II01:18

Second Order systems II

In an underdamped second-order system, where the damping ratio ζ is between 0 and 1, a unit-step input results in a transfer function that, when transformed using the inverse Laplace method, reveals the output response. The output exhibits a damped sinusoidal oscillation, and the difference between the input and output is termed the error signal. This error signal also demonstrates damped oscillatory behavior. Eventually, as the system reaches a steady state, the error diminishes to zero.
377
¹H NMR: Interpreting Distorted and Overlapping Signals01:02

¹H NMR: Interpreting Distorted and Overlapping Signals

Spin systems where the difference in chemical shifts of the coupled nuclei is greater than ten times J are called first-order spin systems. These nuclei are weakly coupled, and their chemical shifts and coupling constant can generally be estimated from the well-separated signals in the spectrum.
As Δν decreases and the signals move closer, the doublets appear increasingly distorted. The intensities of the inner lines increase at the cost of those of the outer lines as the signals are...
1.5K
Region of Convergence of Laplace Tarnsform01:20

Region of Convergence of Laplace Tarnsform

The Region of Convergence (ROC) is a fundamental concept in signal processing and system analysis, particularly associated with the Laplace transform. The ROC represents an area in the complex plane where the Laplace transform of a given signal converges, determining the transform's applicability and utility.
Consider a decaying exponential signal that begins at a specific time. When deriving its Laplace transform, the time-domain variable is replaced with a complex variable. This...
1.0K