pith. sign in

arxiv: 2512.09210 · v2 · submitted 2025-12-10 · 🧮 math.FA

On the Uniqueness of Best Non-decreasing Approximation in Orlicz Spaces

Ana Benavente , Juan Costa Ponce , Sergio Favier This is my paper

Pith reviewed 2026-05-17 00:02 UTC · model grok-4.3

classification 🧮 math.FA
keywords best approximationmonotone approximationOrlicz spacesuniquenessapproximately continuous functionsconvex functionsfunctional analysis
0
0 comments X

The pith

For suitable convex functions defining the Orlicz space, the best non-decreasing approximation to an approximately continuous function is unique.

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

The paper shows that in Orlicz spaces L^Φ([a,b]) the best non-decreasing approximation to an approximately continuous function f is unique when Φ belongs to a suitable class of convex functions. It reaches this conclusion by characterizing the set of all best monotone approximations and then proving that set is continuous with respect to the function being approximated. Continuity of the set forces it to contain only one element, which is the unique best approximation. A reader would care because uniqueness removes ambiguity from the approximation process and makes the best approximant a reliable object for further study or computation.

Core claim

Given an approximately continuous function f in an Orlicz space L^Φ([a,b]) for a suitable class of convex functions Φ, a characterization of the best monotone approximation set is used to establish continuity of that set, and continuity in turn implies that the best monotone approximation is unique.

What carries the argument

Characterization of the best monotone approximation set, whose continuity is proved to deduce uniqueness.

If this is right

  • The best non-decreasing approximation is a single function rather than a set.
  • Continuity of the best-approximation set directly forces uniqueness.
  • The result applies precisely when f is approximately continuous.
  • The suitable class of Φ is the precise condition that makes the continuity argument work.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical methods that compute the approximation can safely stop at the first candidate found.
  • The same continuity technique might be tested on approximations that are required to be convex rather than merely monotone.
  • If the suitable class of Φ can be enlarged, the uniqueness statement would cover additional Orlicz spaces arising in applications.

Load-bearing premise

The function being approximated is approximately continuous and the convex function Φ belongs to a suitable class.

What would settle it

An explicit pair consisting of an approximately continuous function and a Φ outside the suitable class that possesses two distinct best non-decreasing approximations would disprove the uniqueness claim.

read the original abstract

Given an approximately continuous function $f$ in an Orlicz space $L^\Phi([a,b]),$ for a suitable class of convex functions $\Phi,$ we employ a characterization of the best monotone approximation set to establish its continuity, which in turn yields the uniqueness property for the best monotone approximation in $L^\Phi([a,b]).$

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 paper proves uniqueness of the best non-decreasing approximation to an approximately continuous function f in the Orlicz space L^Φ([a,b]) for a suitable class of convex Φ. It proceeds by invoking a characterization of the set of best monotone approximants, establishing continuity of this set-valued map (in the Luxemburg norm topology), and deducing that the set is necessarily a singleton.

Significance. If the central argument holds, the result extends uniqueness theorems for best approximations in Orlicz spaces to the monotone setting without requiring strict convexity of Φ. It supplies technical lemmas on the modular and Luxemburg norm that justify the continuity step under the stated growth conditions, which may be useful for further work on set-valued approximation maps in non-reflexive Banach spaces.

major comments (2)
  1. [§3] §3 (characterization step): the invocation of the external characterization of the best monotone approximation set is not accompanied by a self-contained verification that the approximately continuous f satisfies the necessary measurability or integrability conditions required by that characterization; this step is load-bearing for the subsequent continuity argument.
  2. [§4] §4, continuity proof: the passage from modular convergence to norm continuity of the set-valued map relies on a uniform integrability estimate that is stated only for the given growth class of Φ; the manuscript should exhibit the explicit constant or inequality (e.g., the Δ₂-condition or its analogue) that closes the argument, as its absence leaves the uniqueness deduction formally incomplete.
minor comments (2)
  1. [Abstract] The abstract and introduction should state the precise topology (Luxemburg norm or modular topology) in which continuity of the set-valued map is proved.
  2. [§2] Notation for the Orlicz modular ρ_Φ and the Luxemburg norm ||·||_Φ is introduced without an explicit reminder of their definitions; a one-line recall in §2 would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive recommendation, and constructive comments on our manuscript. The suggestions help clarify the technical steps in the characterization and continuity arguments. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§3] §3 (characterization step): the invocation of the external characterization of the best monotone approximation set is not accompanied by a self-contained verification that the approximately continuous f satisfies the necessary measurability or integrability conditions required by that characterization; this step is load-bearing for the subsequent continuity argument.

    Authors: We agree that an explicit verification strengthens the presentation. Approximately continuous functions are Borel measurable by definition, and the integrability conditions with respect to the modular induced by Φ follow directly from f belonging to L^Φ([a,b]). In the revised version we will insert a short paragraph in §3 that recalls these facts and confirms they hold under the stated growth assumptions on Φ, rendering the invocation fully self-contained. revision: yes

  2. Referee: [§4] §4, continuity proof: the passage from modular convergence to norm continuity of the set-valued map relies on a uniform integrability estimate that is stated only for the given growth class of Φ; the manuscript should exhibit the explicit constant or inequality (e.g., the Δ₂-condition or its analogue) that closes the argument, as its absence leaves the uniqueness deduction formally incomplete.

    Authors: We appreciate the referee’s observation. The growth conditions imposed on Φ (specifically the Δ₂-type condition at infinity) do yield a uniform integrability estimate with an explicit constant that depends only on the parameters of Φ. In the revised manuscript we will display this inequality explicitly in the proof of the continuity of the set-valued map in §4, thereby closing the argument and making the uniqueness deduction fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript invokes an external characterization of the best non-decreasing approximation set, then proves continuity of the associated set-valued map using independent technical lemmas on the modular and Luxemburg norm under the stated growth conditions on Φ. Uniqueness for approximately continuous f follows directly from that continuity. No equation or step reduces by construction to the paper's own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing premise collapses to a self-citation chain lacking external verification. The argument remains independent of the target uniqueness result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a characterization of the best monotone approximation set and on the definition of a suitable class of convex Φ; both are treated as given from prior literature.

axioms (1)
  • domain assumption A characterization of the best monotone approximation set exists and applies in L^Φ
    Invoked directly to establish continuity of the set.

pith-pipeline@v0.9.0 · 5344 in / 1059 out tokens · 74706 ms · 2026-05-17T00:02:52.320880+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Costa Ponce.Mejores Aproximantes en Espacios de Orlicz, Interpolación

    J. Costa Ponce.Mejores Aproximantes en Espacios de Orlicz, Interpolación. Doctoral Thesis, Universidad Nacional de San Luis. (pp.67). 2024

    work page 2024

  2. [2]

    R. B. Darst, S. Fu. BestL1−Approximately Continuous Functions on(0,1)n by Nonde- creasing Functions.Proc. Amer. Math. Soc., 97(2), (1986) 262-264

    work page 1986

  3. [3]

    R. B. Darst, R. Huotari. MonotoneL1-Approximation on the unitn−Cube.Proc. Amer. Math. Soc., 95(3), (1985) 425-428

    work page 1985

  4. [4]

    Evans, R.F

    L.C. Evans, R.F. Gariepy.Measure theory and fine properties of functions. CRC Press, Taylor Francis Group. 2015

    work page 2015

  5. [5]

    Favier, F

    S. Favier, F. Zó. Extension of the Best Approximation Operator in Orlicz Spaces and Weak-Type Inequalities.Abstr. Appl. Anal., 6(2), (2001) 101-114

    work page 2001

  6. [6]

    Krasnoselskii, IA

    M.A. Krasnoselskii, IA. B. Rutickii.Convex Functions and Orlicz Space, 1-79. Ed. by Noordhoff. 1961. Trans. by Leo F. Boron

    work page 1961

  7. [7]

    Landers, L

    D. Landers, L. Rogge. Best approximants in LΦ-spaces.Z. Wahrscheinlichkeitstheor. Verwandte Geb., 51 (2), (1980) 215-237. 10

    work page 1980

  8. [8]

    P. W. Smith, J. J. Swetits. Best Approximation by Monotone Functions.J. Approx. Theory, 49, (1987) 398-403

    work page 1987

  9. [9]

    F. Zó, M. Iturrieta. Best monotoneL ϕ-approximations in several variables.Approx. Theory Appl., 14 (3), (1998) 1-10. 11

    work page 1998