How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Continuum Heat Model
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Entropy Foundation
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Mixture Dynamics And Shells
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Derivative and the Mean Value Theorems
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Heat Kernel and the Cauchy Problem
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamic Framework
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
This page develops two conditional descriptions of heat transport on explicitly stated domains. The local continuum branch fixes a rigid rectangle and regular positive-temperature fields. Its energy balance, Fourier flux and caloric entropy density are adopted physical assumptions. They imply a local nonnegative entropy-production identity; the constant-capacity, constant-conductivity specialization has a Gaussian Neumann solution for the stated even-periodic initial data, and its mean-zero variance decays at an explicit exponential rate.
The kinetic branch is a separate periodic, single-species model. Incoming molecular chaos and the weak elastic collision equation are postulates. Subject to the theorem's explicit regularity, entropy and transport integrability, spatial collision-production, pointwise weak-identity and transport-equation conditions, and its current mathematical collision-entropy supplier, the kinetic entropy is nondecreasing. This conditional result does not derive the kinetic equation from many-particle mechanics, identify kinetic entropy with the local continuum entropy, or derive Fourier's law from collisions.
The page prerequisites remain those declared by the plan: td-entropy-foundation, td-math-local-pfaff-geometry, and td-math-mixture-dynamics-and-shells. The entropy foundation supplies the macroscopic entropy context. The geometry and mixture pages are page-level track prerequisites; this page adds no item-level claim from them that is not used in its proofs. Mathematical assumptions needed locally, including the rectangular Poincare estimate and the specified heat-kernel interface, are stated and cited at their use sites.
The order above follows the in-run supplier graph: field and collision data, adopted balance and constitutive assumptions, the local estimate, then their consuming results. The extra local caloric-entropy postulate and rectangular Poincare lemma are explicit local prerequisites rather than omitted theory. The constant-coefficient existence result is deliberately limited to its stated initial-data class; the final remark records that boundary of scope.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Rectangular local-equilibrium field data
Smooth local-equilibrium continuum data on a fixed three-dimensional Euclidean rectangle; this definition adopts no balance law or constitutive law.
Definition
Let be an open interval measured in seconds, let be lengths in metres, and set with closure . A rectangular local-equilibrium field record consists of an open temperature interval , a temperature field whose time derivative through order one and spatial derivatives through order two extend continuously to , a function of internal-energy density in , and its volumetric heat capacity in . The coordinates are lengths in metres, and is measured in kelvins, using SI quantities and unit conventions.
The record may also include a thermal-energy flux-density field with components in and a conductivity field with entries in . For any unit vector , is the signed thermal-energy transfer rate per unit area in direction , positive when energy flows along . The flux and tensor are field data here; no relation between them is imposed by this Definition. In Euclidean coordinates, . The classical divergence is defined at interior points where these three partial derivatives exist. No spatial differentiability of an optional flux is assumed here; any balance or result using its divergence throughout a domain must impose the needed regularity. On a flat face, denotes its outward unit normal.
This is a specified regular field class on a fixed rigid body. It does not assert that every physical medium has local-equilibrium fields, nor does it adopt a heat equation, a boundary condition, Fourier's law, or an entropy-production law.
Remarks
The label “local-equilibrium field record” names this model's field class; it is not a claim about microscopic equilibration.
Regular single-species elastic collision data
A three-dimensional single-species classical kinetic collision model with elastic binary events; no hard-sphere limit or microscopic derivation is included.
Definition
Fix a particle mass in kilograms and velocity space with components in . The elastic collision set is Thus each allowed event conserves momentum and kinetic energy . Equip with the Borel sets generated by its relative topology.
Collision-rate data consist of a nonnegative, countably additive, -finite Borel measure on these Borel sets. It is invariant under exchanging with , exchanging with , and exchanging the incoming pair with the outgoing pair : for each of these maps and Borel set , . This is the three-dimensional physical restriction of the collision set and exchange conventions in Elastic collision model and weak collision identity, with -finiteness stated explicitly for the product integrals used by the entropy theorem. For physical applications of that weak identity, at a fixed position and time let be the one-particle number density per spatial volume and velocity volume: is number per spatial volume in the velocity element. Particle number is dimensionless, has units , and has units . A collision term , when a representative satisfying the absolutely convergent weak identity exists, has units , namely per second. Test functions are measurable and have one common unit for their values (dimensionless for the tests and , where has the units of ). Assign the measure itself units : its numerical values are taken in these SI units, not as a density relative to an unstated measure on . Thus and the collision integral of times the test bracket both have units . The magnitude and distribution of remain model inputs; dimensional consistency fixes neither a numerical collision rate nor existence of . The measure is a declared model input; no differential cross section or microscopic limit is inferred from this Definition.
Fourier heat-flux constitutive model
An idealized local-equilibrium continuum regime in which the first-order Fourier relation is adopted. No quantitative gradient threshold or empirically validated coefficient range is specified; the conductivity may be anisotropic and state dependent.
Postulate
For the field record of Rectangular local-equilibrium field data, adopt Here has entries in and in , so the equation is dimensionally consistent. Write for the symmetric part and assume for every . Define the thermal quadratic density by with units . For the antisymmetric part , the scalar equals its own negative by transposition, so it is zero. Thus may contribute to but not to , and . Interpreting this density as entropy production additionally requires a local entropy map in with , the energy balance , and regularity permitting the product and chain rules; under those additional assumptions the entropy balance is . This postulate alone adopts neither that caloric entropy relation nor the energy balance.
This is an adopted constitutive model in the stated continuum regime. It is neither a consequence of equilibrium entropy alone nor a universal law for all media. In particular, it does not assert a finite propagation speed or an empirical value for .
Local energy balance for an insulated continuum body
A rigid, fixed-composition, nonrelativistic continuum body on the rectangular domain of def-td-rectangular-local-equilibrium-fields, with no volumetric energy source, no matter flux, and insulated outer faces.
Postulate
For a field record on from Rectangular local-equilibrium field data, require the supplied heat-flux field and each of its first spatial partial derivatives to extend continuously to for every compact interval . Thus is the classical coordinate divergence in , and denotes its continuous trace on each closed face. For these records, adopt the local balance and the insulated-boundary condition on every face of . Both terms in the local equation have units . The boundary condition says that no heat energy crosses the body's outer faces in this model.
This local continuum balance is an additional adopted postulate, with the sign and energy convention of First-law energy balance for closed process records. It is not deduced from that global process-record balance. Matter transfer, volume work, internal sources, moving boundaries, and external-field energy require separately specified balance models and are outside this item.
Local-equilibrium caloric entropy density
Fixed-composition local-equilibrium patches of the rigid continuum model; this caloric relation is not asserted for arbitrary nonequilibrium states or every thermodynamic material.
Postulate
For the local-equilibrium medium of Rectangular local-equilibrium field data, adopt a local entropy-density map measured in with where is the volumetric heat capacity and is measured in kelvins. Equivalently, for a fixed reference and reference density in , set The volume integral of this field is the entropy assigned by this continuum model. This adopts a local thermodynamic relation extending the macroscopic entropy framework of Concave macroscopic fundamental entropy; it does not prove that every evolving medium has such a local entropy density or identify it with an arbitrary finite-system entropy function.
For constant , the adopted relation gives . This is a restricted constitutive specialization, not a universal equation of state.
Periodic Boltzmann model with incoming molecular chaos
A single-species periodic Boltzmann kinetic model with elastic binary collision data and the stated incoming-pair molecular-chaos closure. Dilute-gas applicability is qualitative; no density threshold, hard-sphere or Boltzmann–Grad limit, or many-particle derivation is asserted.
Postulate
Let with opposite faces identified, let be an open time interval in seconds, and let be a one-particle number density for , , and . With in metres and in , has units relative to ; its moments used below are assumed finite. For this postulate, require to be jointly measurable and periodic in , with continuously differentiable for each fixed and its derivatives jointly measurable. Require , , and to be locally integrable with respect to product Lebesgue measure. Periodic boundary conditions are imposed in .
Adopt the incoming molecular-chaos closure: at a collision location and time, the incoming two-particle velocity density used in the collision term is . This is a one-sided factorization assumption; no factorization of the outgoing pair and no derivation from reversible many-particle mechanics is asserted.
For the elastic data of Regular single-species elastic collision data, adopt a collision operator , with units of per second, as a jointly measurable locally integrable representative whose velocity-wise weak action satisfies, for almost every and every measurable test function for which both sides converge absolutely, The adopted kinetic equation is as an equality of locally integrable functions almost everywhere on the product domain. These are admissibility conditions for solutions of the adopted model, not an existence assertion. The equation and weak collision identity are model postulates. This item does not assert a hard-sphere Boltzmann–Grad limit, propagation of chaos, or universal equilibration.
Mean-zero Poincare inequality on a rectangle
Statement
Let , let , and let . If satisfies , write and . Then where . All integrals are the multidimensional Riemann integrals of continuous functions on the indicated closed rectangles, with the usual extension to their interiors.
Facts & Assumptions
Given: A dimension , positive side lengths , the open rectangle , and with .
The zero-mean condition is .
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative: if is continuous on , differentiable on , and its interior derivative has a Riemann-integrable extension , then .
Riemann--Fubini on product rectangles, with lower and upper section integrals and content-zero exceptional sections: when every section of a Riemann-integrable function on a product of nondegenerate closed rectangles is integrable, the ordinary iterated integral equals the multiple integral. In particular, this applies to the continuous integrands used here.
Proof
Expand the square in the product integral and use [A1]: . The integrand is continuous, so [F2] justifies the repeated integrals.
For , define and for , and set . Then and .
Fix and the other coordinates. By [F1], is the integral of over the interval between and . If the endpoints differ, let be the average of on that interval. Nonnegativity of gives ; if they agree, . Since , in both cases .
Integrate the last bound over . The integrations contribute , the displayed segment bound contributes , each unused variable from a pair with contributes , and the remaining variables and give . By [F2], this yields .
By step 1.2 and the finite squared-sum inequality, the double integral in step 1.1 is at most . Apply step 2.1, divide by , and use pointwise. This gives both stated inequalities with the displayed .
Conditional entropy production in the periodic Boltzmann model
Conditional kinetic-entropy production for a positive periodic solution satisfying the stated regularity, entropy and transport integrability, spatial collision-production, and pointwise weak-identity hypotheses; no many-particle derivation or Maxwellian equality characterization is asserted.
Statement
Let with opposite faces identified, and let be an open time interval. Assume the current conditional mathematical result Conditional Boltzmann entropy inequality and equality form at its exact draft interface [L1] below. Let satisfy the periodic Boltzmann postulate Periodic Boltzmann model with incoming molecular chaos and the regularity, integrability, and domination hypotheses in [A2]–[A3]. For the all-time conclusion below, require the kinetic equation to hold at every for the chosen collision representative, in addition to the postulate's product-almost-everywhere equation. Fix a positive constant reference density with the same units as , and define the kinetic entropy Then where and ; is dimensionless because and have the same units. Equality holds exactly when for -almost every collision at almost every spatial point. This is a conditional deduction inside the adopted incoming-molecular-chaos kinetic model. The cited mathematical carrier is currently draft and has not received independent proof acceptance; no microscopic derivation, experimental claim, or Maxwellian characterization is included.
Facts & Assumptions
Given: The positive regular periodic solution and collision data described in [A1]–[A3], Boltzmann's constant , and the exact current mathematical supplier interface [L1].
Periodic Boltzmann model with incoming molecular chaos: on the periodic three-torus, the adopted one-sided incoming-pair closure gives an admissible locally integrable collision term , the kinetic equation almost everywhere, and the weak collision identity with factor for absolutely convergent test functions; it is a model postulate, not a many-particle theorem.
The solution satisfies , is in and in , and is periodic in each spatial coordinate. The reference is constant in , so and are dimensionless.
For each , , , and are integrable over . For every compact interval , assume a common bounds almost everywhere for every . Also assume for each . For every , the map is measurable and belongs to . In addition to the almost-everywhere weak identity in [A1], assume that the identities for tests and are absolutely convergent and hold at every , as required by the exact current interface [L1]. The collision measure is -finite. Also require at every for this representative, so substitution at each fixed time is licensed.
Regular single-species elastic collision data: in dimension three, consists of collisions conserving pair momentum and squared speed; is a nonnegative -finite Borel measure invariant under the two particle exchanges and incoming/outgoing exchange. The -finiteness here is an explicit physical restriction that makes the spatial/collision product integrals well-defined.
SI quantities and unit conventions: is the positive Boltzmann constant with SI units .
Conditional Boltzmann entropy inequality and equality form: the current draft supplier assumes a positive -in-space-and-time, -in-velocity density on a periodic rectangle; finite moments and entropy; a compact-time majorant for ; transport integrability at each time; an spatial collision-production map; and absolutely convergent weak identities for tests and at every point. It states with equality exactly when for -almost every collision at almost every spatial point. The carrier remains draft without independent proof acceptance; this item uses only that inequality and equality condition, not the supplier's additional Maxwellian branch.
Proof
Given: [A1]–[A3], [F1]–[F2], and [L1] with its current stated proof status.
Set . The hypotheses match [L1]: the spatial dimension is , the opposite-face identification is periodic, the density is positive with the required regularity and moments, [A3] supplies the compact-time derivative majorant, transport integrability, pointwise weak identities, and spatial collision-production integrability, and [A3] supplies the kinetic equation at every time for the chosen representative. The collision measure is symmetric by [F1] and -finite by [A3]. Thus [L1] gives and its equality condition applies at each time where the derivative and production integral are defined.
By definition , and by [F2]. Multiplying the identity in step 1.1 by reverses its sign and yields the displayed entropy-production formula with nonnegative right-hand side. Since the multiplier is strictly positive, holds exactly when the production integral vanishes; the equality characterization in [L1] gives for -almost every collision at almost every spatial point. This remains a conditional model deduction and uses no outgoing-pair molecular-chaos assumption.
Entropy production in the local Fourier heat model
Conditional local entropy and energy balance for a sufficiently regular, fixed-composition local-equilibrium continuum field on a rectangular insulated body with a positive-semidefinite symmetric conductivity tensor.
Statement
Let be an open time interval, a fixed rectangle, and a field record from Rectangular local-equilibrium field data satisfying the adopted local-energy, Fourier, and local-entropy postulates Local energy balance for an insulated continuum body, Fourier heat-flux constitutive model, and Local-equilibrium caloric entropy density. Assume additionally that and its first spatial derivatives are continuous on every compact subset of . Then, throughout , where . For every compact time interval , the model's total entropy is differentiable and nondecreasing, while is constant. These are conditional deductions of the declared continuum model, not observations or a claim that every medium obeys Fourier's law.
Facts & Assumptions
Given: A rectangular field record on with , , , , , , and on every face.
Rectangular local-equilibrium field data: is in time and in space up to the rectangular faces; and its heat capacity are the stated local functions, and and are Euclidean coordinate derivatives.
Local energy balance for an insulated continuum body: and on each insulated face.
Fourier heat-flux constitutive model: and for every .
Local-equilibrium caloric entropy density: for the declared local-equilibrium entropy density.
The flux and its first spatial derivatives are continuous on each compact time slab through the boundary, so the coordinate divergence and face traces in the proof are defined and integrable.
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative: a continuously differentiable coordinate function on a closed interval has its derivative integral equal to its endpoint increment.
Riemann--Fubini on product rectangles, with lower and upper section integrals and content-zero exceptional sections: iterated Riemann integrals of continuous functions on product rectangles equal the multidimensional integral.
Proof
By [A3] and the chain rule, , since .
Substituting from [A2] makes the right side . For any real vector , because the scalar equals its own negative; hence [A2] and make this quantity nonnegative.
For each coordinate , apply [F2] to the th component of on : its integral is the endpoint difference . By [F3] these one-dimensional integrals may be integrated over the other two coordinates and summed. The result is because on every face and . The same calculation gives .
The coordinate product rule and give . Substituting [A1] and step 1.1 yields .
On , and are continuous. The one-dimensional fundamental theorem [F2] expresses each time difference quotient as the average of its continuous time derivative; uniform continuity on this compact set makes those quotients converge uniformly in . Therefore differentiation passes through the bounded-box integrals. Integrating the local balance in step 2.1 and using the zero face integral in step 1.3 gives . Its integrand is nonnegative by step 1.2. Integrating [A1] and using step 1.3 gives .
Constant-conductivity heat evolution on an insulated rectangle
Existence and uniqueness for the three-dimensional rigid Fourier heat model with constant positive volumetric heat capacity and scalar conductivity, homogeneous Neumann walls, and even-periodic uniformly regular positive initial data; no general rough-data or arbitrary-domain PDE claim is made.
Statement
Assume Countable Choice. Let be lengths measured in metres, set , and take the open temperature interval with temperatures measured in kelvins. Fix a constant volumetric heat capacity in , a constant scalar conductivity in , and an arbitrary reference energy density in . Define by , so , and define by as in Fourier heat-flux constitutive model. Put in .
Let be and satisfy, for every and , Assume every coordinate derivative with is bounded and uniformly continuous, and that for all , with these bounds measured in kelvins.
For and define and set . Here is measured in metres, in the kernel has units , and the normalized kernel has units , so the integral has units of kelvins. Also , , and on a face with outward unit normal , . For every finite , this is the unique function continuous on whose first time derivative for and spatial derivatives through order two extend continuously to , solving on , with on each face and the given initial value. The time derivative at is interpreted from the right. The field satisfies for all , its spatial derivatives through order two are continuous to , and its right time derivative there is .
On , set . Then is a field record of Rectangular local-equilibrium field data satisfying Local energy balance for an insulated continuum body and Fourier heat-flux constitutive model, so the solution is global in time for this restricted physical continuum model.
Facts & Assumptions
Given: Countable Choice and the geometric, caloric, conductivity, and initial-profile data specified in the Statement.
The Axiom of Countable Choice (): for every sequence of nonempty sets there is a function selecting one element from each set. Countable Choice is the only choice principle assumed here.
The stated energy-density map is on , so its heat capacity is the constant on the full temperature range.
Local energy balance for an insulated continuum body: and on each insulated face.
Fourier heat-flux constitutive model: ; the constant scalar case is .
The heat Cauchy problem for bounded uniformly continuous data: assuming Countable Choice, convolution of a bounded uniformly continuous with the Gaussian heat kernel gives a bounded function, smooth for positive time, solving , and converging locally uniformly to as .
Normalisation, parabolic scaling, heat equation and derivative bounds for the heat kernel: , has unit integral, and its derivatives have Gaussian tail bounds; is an approximate identity as .
Spatial and time derivatives pass through heat convolution for positive time: for bounded data the heat convolution is smooth for positive time, derivatives pass through its integral, and .
approximate identities converge uniformly on compacta for bounded continuous functions: convolution by an approximate identity converges uniformly on every compact set for bounded continuous data.
Rectangular local-equilibrium field data: have the domains, regularity classes, Euclidean derivatives, and SI units stated in its Definition.
Lebesgue outer measure, Lebesgue measurability and Lebesgue measure are unchanged by translation: translation preserves Lebesgue measure.
A linear map of sends Lebesgue measurable sets to Lebesgue measurable sets, with when is invertible and Lebesgue null when it is not: under Countable Choice, an invertible linear map changes Lebesgue measure by the absolute determinant of its matrix.
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative: a continuous function on a closed interval with an integrable interior derivative has endpoint increment equal to the derivative integral.
The heat kernel on and its causal extension: for , on .
Fubini's theorem for L^1 functions on a sigma-finite product: absolutely integrable functions on sigma-finite product measure spaces have equal iterated and product integrals.
maps and multi-index derivative notation in Euclidean space: means that every coordinate derivative through order exists and is continuous on the open domain.
Proof
The assumptions on make it bounded and uniformly continuous, so [F1] applies. Write and set . The chain rule gives for ; [F1] also gives the formula, smoothness, and local uniform initial convergence. Since , this is . With , , and from [A3, A4], the same equality gives .
Positivity and unit mass in [F2] imply , hence . Translation by in the convolution variable preserves and Lebesgue measure by [F6], so is -periodic in . Reflection preserves Lebesgue measure by [F7] because its matrix has determinant of absolute value one; evenness of the kernel [F9] and of then makes even in each coordinate. For , evenness gives on the face ; periodicity gives at opposite faces , while evenness makes these two values negatives, so both vanish. The same boundary derivative holds at for , and [A4] gives on every face.
By [F11], the stated hypothesis gives continuous derivatives through spatial order two. For and , differentiating under the integral and then integrating by parts in each coordinate gives . The products of kernel derivatives with bounded derivatives of are absolutely integrable by the Gaussian bound [F2], so [F10] licenses the iterated integrals; on each finite coordinate interval Newton–Leibniz [F8] gives the integration-by-parts identity, and the boundary terms vanish as the interval expands because of the Gaussian tails. Each is bounded and continuous, so [F4] makes this expression converge uniformly on to as . Thus the spatial derivatives through order two extend continuously to the initial time.
For , the heat equation and the same integration-by-parts argument give . By [F4] this converges uniformly on to . For , [F8] gives . Letting is valid uniformly in by step 1.1 and the uniform limit just established; consequently , and dividing by proves the right derivative .
For uniqueness, let be two solutions in the stated regularity class and set . Then , , and . At each fixed time, and its spatial derivatives through order two are continuous on the compact rectangle, so the integrands and are bounded and hence for the finite Lebesgue product measure. Apply [F10] successively in the three coordinate factors to identify the rectangle integrals with the iterated one-dimensional integrals. The product rule and [F8] then give . The boundary terms vanish by the homogeneous Neumann condition, so . Thus and imply ; continuity of gives everywhere. The formula therefore gives the unique solution in the stated class.
Exponential relaxation of the constant-conductivity Neumann heat model
Conditional L2 relaxation for the compatible positive-temperature solution of the constant-capacity, constant-conductivity model on a three-dimensional insulated rectangle.
Statement
Assume Countable Choice and the hypotheses and solution of Constant-conductivity heat evolution on an insulated rectangle, let , define the spatial mean , and put . With and , the mean is constant and Thus this model solution converges exponentially to its initial spatial mean in ; no pointwise-uniform convergence rate is asserted.
Facts & Assumptions
Given: Countable Choice, the smooth positive solution and homogeneous Neumann boundary data from Constant-conductivity heat evolution on an insulated rectangle, the rectangular mean-zero inequality on , and .
The Axiom of Countable Choice (): every sequence of nonempty sets has a choice function.
Constant-conductivity heat evolution on an insulated rectangle: on , on every face, and is in time and in space up to the boundary on finite intervals.
Mean-zero Poincare inequality on a rectangle: if has zero spatial mean, then with and .
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative: a continuous function on a closed interval with an integrable interior derivative has endpoint increment equal to the derivative integral.
Riemann--Fubini on product rectangles, with lower and upper section integrals and content-zero exceptional sections: iterated Riemann integrals of continuous functions on product rectangles equal the multidimensional integral.
Proof
On each finite time interval the time derivative is continuous on the compact box, so its difference quotients converge uniformly under the spatial integral. By [F1] and [F4], coordinatewise application of [F3] gives : the integral of each second coordinate derivative is the difference of the corresponding first derivative on its two faces, and both normal derivatives vanish. Hence .
Set . Then [F4] and step 1.1 give , while and . Differentiating and using [F4], the product rule, and [F3] in each coordinate gives ; each endpoint term is .
Apply [F2] to in step 2.1. It gives , so .
The product rule gives by step 3.1. Integrating this derivative with [F3] from to yields , which is the asserted estimate.
Scope of the continuum heat solution results
Source-backed scope and limitation note for the local rectangular Fourier heat model; it reports no experiment and asserts no universal continuum closure.
Remarks
The existence and relaxation results on this page apply to a fixed rectangle, constant positive and , homogeneous Neumann boundary data, and the specified even-periodic initial profiles. They do not prove existence for rough initial data, arbitrary domains or boundary conditions, state-dependent conductivity, or a microscopic Boltzmann-to-Fourier limit. For the constant-coefficient heat equation of Constant-conductivity heat evolution on an insulated rectangle, the Gaussian-kernel solution gives an immediate nonzero response throughout the rectangle for the compactly supported perturbation in The rectangular Fourier model has instantaneous spatial support ↗. That is a mathematical property of this adopted diffusion model; it is not a measurement or a claim about finite-speed physical signals.
5 · Examples, experiments and counterexamples
None yet.
Sources
- Konstantin Likharev, Essential Graduate Physics: Statistical Mechanics, §6.5, heat conduction
- MIT OpenCourseWare, 18.303 Linear Partial Differential Equations, The 1-D Heat Equation
- Daniel Arovas, Lecture Notes on Thermodynamics and Statistical Mechanics, §8.10
- Konstantin Likharev, Essential Graduate Physics: Statistical Mechanics, Chapter 6
- R. Fitzpatrick, Plasma Physics, Boltzmann H-Theorem
- Konstantin Likharev, Essential Graduate Physics: Statistical Mechanics, §§1.3 and 6.5
- Daniel Arovas, Lecture Notes on Thermodynamics and Statistical Mechanics
- MIT OpenCourseWare, 8.333 Statistical Mechanics I, Lecture 9
- John K. Hunter, Notes on Partial Differential Equations, §4.4
- John K. Hunter, Notes on Partial Differential Equations, §5.1
- John K. Hunter, Notes on Partial Differential Equations, §4.4 and §5.1
- John K. Hunter, Notes on Partial Differential Equations, Chapter 5