pith. sign in

arxiv: 2603.29465 · v2 · submitted 2026-03-31 · 🧮 math.OC

Stochastic homogenization of nonconvex unbounded integral functionals with generalized Orlicz growth

Davide Aruta , Francesca Prinari , Francesco Solombrino This is my paper

Pith reviewed 2026-05-13 23:59 UTC · model grok-4.3

classification 🧮 math.OC
keywords stochastic homogenizationGamma-convergenceOrlicz growthMusielak-Orlicz spaceunbounded functionalsnonconvex functionalsvectorial problems
0
0 comments X

The pith

Nonconvex unbounded integral functionals with generalized Orlicz growth homogenize stochastically in the vectorial case.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that random integral functionals which may be unbounded and nonconvex but possess convex growth of generalized Orlicz type converge, as the microscopic scale vanishes, to a deterministic limit energy. This holds under coercivity with lower exponent strictly above one and a finite upper exponent. The limit functional is defined over a possibly anisotropic Musielak-Orlicz space in which smooth functions are dense. A sympathetic reader cares because such growth conditions describe materials whose stiffness varies with position and randomness, and homogenization reduces the fine-scale problem to an effective macroscopic one.

Core claim

In the vectorial setting the authors prove that the rescaled random functionals Gamma-converge almost surely to a deterministic integral functional whose integrand is obtained by averaging the microscopic energy over the probability space. The limit is defined in a Musielak-Orlicz space adapted to the growth, and the proof proceeds by localization of the Gamma-convergence together with truncation arguments that control the unbounded domains.

What carries the argument

Localization method of Gamma-convergence combined with truncation arguments that preserve the growth and allow passage to the limit despite nonconvexity and unboundedness.

Load-bearing premise

The integrands satisfy a coercivity lower bound with exponent strictly greater than one and an upper bound with finite exponent, so that truncation and localization methods apply.

What would settle it

A concrete family of random integrands obeying the stated growth conditions for which the Gamma-limit either fails to exist or remains random would disprove the claim.

read the original abstract

We consider the homogenization of random integral functionals which are possibly unbounded, that is, the domain of the integrand is not the whole space and may depend on the space-variable. In the vectorial case, we develop a complete stochastic homogenization theory for nonconvex unbounded functionals with convex growth of generalized Orlicz-type, under a standard set of assumptions in the field, in particular a coercivity condition of order $p^->1$, and an upper bound of order $p^+<\infty$. The limit energy is defined in a possibly anisotropic Musielak-Orlicz space, for which approximation results with smooth functions are provided. The proof is based on the localization method of $\Gamma$-convergence and a careful use of truncation arguments.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a stochastic homogenization theory for nonconvex unbounded integral functionals with generalized Orlicz growth in the vectorial case. Under standard assumptions (coercivity of order p^- >1 and upper bound p^+ < ∞), it establishes Γ-convergence to a limit energy defined in a possibly anisotropic Musielak-Orlicz space via the localization method of Γ-convergence combined with truncation arguments, and provides approximation results by smooth functions.

Significance. If the derivation holds, the result meaningfully extends stochastic homogenization to functionals with space-dependent domains and variable growth, which is relevant for modeling in random heterogeneous media. The explicit construction of the limit in a Musielak-Orlicz space together with the approximation results would be a useful technical contribution.

major comments (2)
  1. [Proof of the main homogenization result (localization + truncation step)] The truncation arguments invoked to handle unboundedness (mentioned in the abstract and used in the localization procedure) do not automatically preserve the nonconvex structure or the uniform lower semicontinuity needed for Γ-convergence when the integrand domain depends on x. In the vectorial setting with only p^- >1 coercivity, the error introduced by truncation can be amplified by the variable growth, and no explicit uniform-in-ω estimates are provided to show that the Γ-limit of the truncated functionals coincides with the truncation of the Γ-limit.
  2. [Statement and proof of the main theorem] The definition of the effective integrand in the limit Musielak-Orlicz space (likely in the statement of the main theorem) requires verification that the homogenized functional inherits the precise generalized Orlicz growth bounds from the original sequence; the possible anisotropy and x-dependence in the limit space may violate the original coercivity condition p^- >1 after homogenization.
minor comments (2)
  1. [Abstract] The abstract refers to 'a standard set of assumptions in the field' without enumerating them; listing the precise hypotheses (growth, measurability, etc.) already in the abstract would improve readability.
  2. [Preliminaries / notation section] Notation for the variable exponents p^-(x,ω) and p^+(x,ω) should be introduced with a dedicated paragraph or table to avoid ambiguity when they appear in estimates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment of its significance. We address the two major comments below, providing clarifications on the proof structure and indicating the revisions that will be incorporated to strengthen the presentation.

read point-by-point responses

  1. Referee: [Proof of the main homogenization result (localization + truncation step)] The truncation arguments invoked to handle unboundedness (mentioned in the abstract and used in the localization procedure) do not automatically preserve the nonconvex structure or the uniform lower semicontinuity needed for Γ-convergence when the integrand domain depends on x. In the vectorial setting with only p^- >1 coercivity, the error introduced by truncation can be amplified by the variable growth, and no explicit uniform-in-ω estimates are provided to show that the Γ-limit of the truncated functionals coincides with the truncation of the Γ-limit.

    Authors: We agree that the truncation step requires more explicit justification to control the error uniformly. In the proof, truncation is applied to admissible test functions after the localization procedure has reduced the problem to a fixed cube; the nonconvexity of the integrand is preserved because the Γ-limit is taken for each fixed truncation level, where the functionals remain lower semicontinuous by the standard direct method in the Musielak-Orlicz space. To address the concern, the revised manuscript will include a new lemma providing explicit uniform-in-ω estimates on the truncation error, showing that the Γ-limit of the truncated functionals coincides with the truncation of the Γ-limit under the given coercivity p^- >1 and the stochastic ergodicity assumptions. revision: yes

  2. Referee: [Statement and proof of the main theorem] The definition of the effective integrand in the limit Musielak-Orlicz space (likely in the statement of the main theorem) requires verification that the homogenized functional inherits the precise generalized Orlicz growth bounds from the original sequence; the possible anisotropy and x-dependence in the limit space may violate the original coercivity condition p^- >1 after homogenization.

    Authors: The effective integrand is constructed via the standard homogenization formula (infimum over admissible test functions on large cubes), which directly inherits the growth bounds from the original sequence by the uniform coercivity assumption of order p^- >1 and the upper bound p^+ < ∞. The possible anisotropy in the limit space does not violate the coercivity because the lower bound is preserved by Fatou-type arguments and the ergodic theorem applied to the rescaled energies. Nevertheless, to make this inheritance fully explicit, the revised version will add a short proposition immediately after the main theorem statement verifying that the limit functional satisfies the same generalized Orlicz growth conditions with the original p^- >1. revision: yes

Circularity Check

0 steps flagged

No circularity in the stochastic homogenization derivation

full rationale

The paper develops its stochastic homogenization result for nonconvex unbounded functionals with generalized Orlicz growth by applying the localization method of Γ-convergence together with truncation arguments to a standard set of coercivity (p^->1) and growth (p^+<∞) assumptions. These steps rely on established techniques in the field rather than any self-definitional reduction, fitted input renamed as prediction, or load-bearing self-citation chain. The limit energy in the Musielak-Orlicz space is obtained directly from the Γ-limit construction without the central claim collapsing to its own inputs by construction. The derivation is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions from the homogenization literature for integral functionals; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Coercivity condition of order p^- > 1
    Provides the lower growth bound needed for compactness and lower semicontinuity in the homogenization limit.
  • domain assumption Upper bound of order p^+ < ∞
    Controls the upper growth to ensure the functionals are well-defined and the limit exists in the Musielak-Orlicz space.

pith-pipeline@v0.9.0 · 5420 in / 1378 out tokens · 33063 ms · 2026-05-13T23:59:31.444415+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    M. A. Akcoglu and U. Krengel,Ergodic theorems for superadditive processes, J. Reine Angew. Math.,323 (1981), 53–67. 2, 36, 37, 38

    work page 1981

  2. [2]

    Ambrosio, N

    L. Ambrosio, N. Fusco, D. Pallara, Functions of bounded variation and free discontinuity problems, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000. 23

    work page 2000

  3. [3]

    Braides and A

    A. Braides and A. Defranceschi, Homogenization of Multiple Integrals, Oxford Lecture Series in Mathematics and its Applications, Oxford University Press, Oxford, 1998. 1, 3, 13, 14, 17, 21, 23, 24, 26, 27, 28, 29

    work page 1998

  4. [4]

    Bouchitt´ e, I

    G. Bouchitt´ e, I. Fonseca, G. Leoni, L. Mascarenhas,A global method for relaxation inW 1,p and inSBV p, Arch. Ration. Mech. Anal.,165(2002), no. 3, 187–242. 19, 33 STOCHASTIC HOMOGENIZATION OF NONCONVEX INTEGRALS WITH ORLICZ GROWTH 43

    work page 2002

  5. [5]

    Bouchitt´ e, I

    G. Bouchitt´ e, I. Fonseca, L. Mascarenhas,A global method for relaxation, Arch. Ration. Mech. Anal.,145 (1998), no. 1, 51–98. 19, 33

    work page 1998

  6. [6]

    Cagnetti, G

    F. Cagnetti, G. Dal Maso, L. Scardia, C. I. Zeppieri, Γ-convergence of free-discontinuity problems, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,36(2019), no. 4, 1035–1079. 3, 10

    work page 2019

  7. [7]

    Carbone, R

    L. Carbone, R. De Arcangelis, Unbounded Functionals in the Calculus of Variations. Representation, Relaxation and Homogenization, volume 125 ofChapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. Chapman & Hall/CRC, Boca Raton, FL, 2002. 2, 8

    work page 2002

  8. [8]

    Chlebicka, P

    I. Chlebicka, P. Gwiazda, A. ´Swierczewska-Gwiazda, A. Wr´ oblewska-Kami´ nska, Partial differential equations in anisotropic Musielak–Orlicz spaces, Lecture Notes in Mathematics,2293, Springer, Cham, 2021. 5, 7, 11, 12

    work page 2021

  9. [9]

    Corbo Esposito and R

    A. Corbo Esposito and R. De Arcangelis.The Lavrentieff phenomenon and different processes of homogeniza- tion. Comm. Partial Differential Equations, 17(9-10):1503–1538, 1992. 2

    work page 1992

  10. [10]

    Dal Maso, An introduction to Γ-convergence, Progress in Nonlinear Differential Equations and their Appli- cations,8, Birkh¨ auser, Boston, 1993

    G. Dal Maso, An introduction to Γ-convergence, Progress in Nonlinear Differential Equations and their Appli- cations,8, Birkh¨ auser, Boston, 1993. 3, 4, 23, 32

    work page 1993

  11. [11]

    Topics in Functional Analysis

    G. Dal Maso and L. Modica,A general theory of variational functionals, in “Topics in Functional Analysis”, 1980–81, Quaderni, Scuola Norm. Sup. Pisa, Pisa, (1981), 149–221. 13

    work page 1980

  12. [12]

    Dal Maso and L

    G. Dal Maso and L. Modica,Nonlinear Stochastic Homogenization and Ergodic Theory. J. Reine Angew. Math.,368(1986), 28–42. 2, 36, 37

    work page 1986

  13. [13]

    Gloria and M

    A. Gloria and M. Duerinckx,Stochastic homogenization of nonconvex unbounded integral functionals with convex growth, Arch. Ration. Mech. Anal. 221 (2016), 1511–1584. 2, 3

    work page 2016

  14. [14]

    Harjulehto and P

    P. Harjulehto and P. H¨ ast¨ o, Orlicz spaces and generalized Orlicz spaces, Lecture Notes in Mathematics,2236, Springer, Cham, 2019. 3

    work page 2019

  15. [15]

    H¨ ast¨ o and J

    P. H¨ ast¨ o and J. Ok,Maximal regularity for local minimizers of non-autonomous functionals, J. Eur. Math. Soc. (JEMS)24(2022), 1285–1334. 12

    work page 2022

  16. [16]

    Leoni, A first course in Sobolev spaces, Graduate Studies in Mathematics,105, American Mathematical Society, Providence, RI, 2009

    G. Leoni, A first course in Sobolev spaces, Graduate Studies in Mathematics,105, American Mathematical Society, Providence, RI, 2009. 10

    work page 2009

  17. [17]

    Messaoudi and G

    K. Messaoudi and G. Michaille.Stochastic homogenization of nonconvex integral functionals,RAIRO Mod´ el. Math. Anal. Num´ er., 28(3):329–356, 1994. 2

    work page 1994

  18. [18]

    Mingione and D

    G. Mingione and D. Mucci.Integral functionals and the gap problem: sharp bounds for relaxation and energy concentration. SIAM J. Math. Anal.,36, (5) (2005), 1540–1579. 26

    work page 2005

  19. [19]

    M¨ uller,Homogenization of nonconvex integral functionals and cellular elastic materials, Arch

    S. M¨ uller,Homogenization of nonconvex integral functionals and cellular elastic materials, Arch. Ration. Mech. Anal.,99(1987), no. 3, 189–212. 3, 8

    work page 1987

  20. [20]

    Ruf and T

    M. Ruf and T. Ruf,Stochastic homogenization of degenerate integral functionals and their Euler-Lagrange equations, J. ´Ec. Polytech. Math.10(2023), 253–303. 35

    work page 2023

  21. [21]

    Ruf and M

    M. Ruf and M. Sch¨ affner,New homogenization results for convex integral functionals and their Euler–Lagrange equations, Calc. Var. Partial Differential Equations63(2024), 32. 2, 3, 39, 40

    work page 2024

  22. [22]

    V. V. Zhikov, S. M. Kozlov, and O. A. Ole˘ ınik. Homogenization of differential operators and integral functionals, Springer-Verlag, Berlin, 1994. Translated from Russian by G. A. Iosifyan. 2 (D. Aruta)Scuola Superiore Meridionale, via Mezzocannone 4, 80134 Napoli, Italy Email address:d.aruta@ssmeridionale.it (F. Prinari)Dipartimento di Scienze Agrarie, A...

    work page 1994