{"id":"12459097-7868-4434-a13a-882c86d91f0f","arxiv_id":"2507.04260","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence of weak solutions is proven for mixed local-nonlocal singular elliptic problems with variable singular exponents and singular measure-valued data.","lead":"This paper proves that a certain class of mixed local and nonlocal equations with point-like sources and blow-up terms has positive solutions, even when the source is a singular measure. It matters because it extends existence theory for singular elliptic problems to a harder case that previous work could not handle.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.8's proof assumes inf_Ω δ > 0 in Lemma 4.1, a hypothesis absent from the theorem; for admissible δ vanishing at the boundary, estimate (4.6) fails and the approximate solutions are not constructed.","rationale":"The reader's weakest_assumption pinpoints the exact gap: Lemma 4.1 uses r := inf_Ω δ > 0 without the theorem supplying it. I checked the hypotheses and found that δ(x)=x_1 on a bounded Lipschitz domain satisfies all stated conditions (continuous, locally Lipschitz, |∇δ|∈L^N(Ω), and P_{ε,δ*} with δ*=1) yet inf δ=0. The estimate (4.6) is not a minor technical convenience; it is the bound that makes (4.5) yield uniform W^{1,2}_0 control of the approximating sequence, so the existence proof in Lemma 4.1 collapses. Since Theorem 2.8 relies on Lemma 4.1 to define the approximations in (3.1), the central new existence result is not established for the stated class. The fix is straightforward—add δ ≥ δ_0 > 0—and it does not affect the rest of the proof, so a conditional accept is appropriate. I do not elevate to reject because the argument may be repairable and the claim may hold under slightly strengthened hypotheses. The secondary mismatch in Theorem 2.10's statement and proof is less central; the inf δ>0 gap is the load-bearing issue.","tokens_in":19645,"tokens_out":4454,"duration_ms":43150,"concrete_test":"Verify the validity of (4.6) for an admissible δ with inf δ = 0: take Ω=(0,1)^N, δ(x)=x_1, τ=1, and construct a sequence u_m∈W^{1,2}_0(Ω) with ||∇u_m||_2 ≤ C but u_m large on a set where δ(x) is small. Compute the L^∞ norm (or relevant L^2 norm) of log(|u_m|+τ)/(|u_m|+τ)^{δ(x)} and observe whether it is unbounded as m→∞. If unbounded, the claimed uniform bound in (4.6) fails, and Lemma 4.1's proof cannot be carried out under the theorem's stated hypotheses. Alternatively, if the authors can prove (4.6) without inf δ>0, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 4.1 (Appendix, §4.1) constructs the approximate solutions used in the proof of Theorem 2.8. Its estimate (4.6) asserts that |log(|u_n|+τ)/(|u_n|+τ)^{δ(x)}| ≤ C uniformly in n, with the justification 'where r := inf_Ω δ > 0'. But the hypotheses of Theorem 2.8 only assume δ: Ω→(0,∞) is continuous, locally Lipschitz, |∇δ|∈L^N(Ω), and satisfies P_{ε,δ*}; none of these imply inf_Ω δ > 0. For example, δ(x)=x_1 on the unit ball is admissible and has inf δ = 0. If δ is allowed to vanish at the boundary, then for x where δ(x) is arbitrarily small, log(|u_n|+τ)/(|u_n|+τ)^{δ(x)} is not bounded as a function of |u_n|, so no uniform constant C in (4.6) is available. This estimate is used in (4.5) to obtain the L^2 bound on ∇(u_n/(|u_n|+τ)^{δ(x)}), and hence the uniform W^{1,2}_0 bound on {u_n} that yields existence in Lemma 4.1. Without Lemma 4.1 the approximation scheme (3.1) is not justified, so the proof of Theorem 2.8, the paper's central new result, does not cover all functions satisfying its stated hypotheses. The flaw is fixable by adding inf_Ω δ > 0 (or δ ≥ δ_0 > 0) to the hypotheses, but as written the theorem overclaims.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the mixed local-nonlocal semilinear problem (1.1) with a variable singular exponent δ(x) and with both source terms allowed to be non-negative bounded Radon measures. The main result, Theorem 2.8, claims existence of a weak solution in W^{1,p}_{loc}(Ω) ∩ L^1(Ω) whenever ν ∈ M^p_0(Ω) is nonzero with 1 < p < N/(N-1), under regularity conditions on δ. A second result, Theorem 2.10, treats the constant-exponent case with a more general class of measures. The proof proceeds by approximating ν with measures in W^{-1,p'}, solving regularized problems from Lemma 4.1, and passing to the limit via a priori estimates. The authors emphasize that the singular-measure case is new even for constant exponents.","tokens_in":19967,"tokens_out":12905,"duration_ms":134456,"significance":"If the main results were fully established, the paper would provide a meaningful extension of the available existence theory for mixed local-nonlocal singular problems: the treatment of purely singular measure data with variable singular exponents appears not to be contained in the cited literature, and the paper builds on the approximation scheme of [41] as well as on the authors' earlier work in [15]. The functional setting with p-capacity measures is appropriate, and the paper is careful to identify which estimates are new. However, two gaps in the written proofs — one in the construction of the approximate solutions and one in the proof of Theorem 2.10 — prevent the stated theorems from being considered proven in their full generality at this stage.","major_comments":[{"comment":"The proof of Lemma 4.1 relies on the uniform bound |log(|u_n|+τ)/(|u_n|+τ)^{δ(x)}| ≤ C in (4.6), justified by setting r := inf_Ω δ > 0. This global lower bound is not a hypothesis of Theorem 2.8: the hypotheses only assume δ is continuous, locally Lipschitz, |∇δ| ∈ L^N(Ω), and δ satisfies P_{ε,δ*}, all of which are compatible with δ(x) = x_1 on a ball, where inf_Ω δ = 0. Without inf_Ω δ > 0, the logarithmic factor is not uniformly bounded with respect to the spatial variable and the size of u_n, so estimate (4.6) fails and the uniform W^{1,2}_0 bound on {u_n} obtained from (4.4)-(4.5) is not established. Since Lemma 4.1 is used to build the approximate solutions for both Theorem 2.8 and Theorem 2.10, this is a load-bearing gap. The issue is fixable by adding an explicit assumption δ ≥ δ_0 > 0 in Ω, but as written Theorem 2.8 overclaims.","section":"§4.1, Lemma 4.1, estimate (4.6)"},{"comment":"The proof of Theorem 2.10 begins by imposing an additional condition not present in the theorem statement: it says, in §3.2, that ν is assumed to be singular with respect to the Lebesgue measure. The statement of Theorem 2.10 allows an arbitrary non-negative bounded Radon measure ν ∈ M^p_0(Ω) \\ {0}. The limiting procedure for the singular measure term is carried out only under this extra restriction, and the passage for a nontrivial absolutely continuous part of ν is not addressed. Consequently, the proof does not establish the theorem as stated. The authors should either add the singularity assumption to the theorem statement (and adjust the abstract/introduction accordingly) or explicitly invoke the non-singular case from [15] in the proof of Theorem 2.10.","section":"§3.2, proof of Theorem 2.10"}],"minor_comments":[{"comment":"The notation ||C^{δ(x)}||_{L^∞(Ω)} is confusing; the constant from the lower bound on u_n should be denoted more clearly, e.g., by a constant depending on C(ω) and sup_{ω} δ.","section":"§3.1, estimate (3.6)"},{"comment":"There is a typographical issue in the displayed chain: the right-hand side appears twice with an intervening line break and a misplaced equal sign; the equation should be written as a single alignment.","section":"§4.1, equation (4.7)"},{"comment":"The statement of Lemma 4.4 introduces a function g, while Theorem 2.10 uses µ. Align the notation, e.g., by defining g = µ or by replacing g with µ throughout the lemma.","section":"§4.3, Lemma 4.4"},{"comment":"The sentence 'with the singular component modeled by both a singular and non-singular measure' is ambiguous: it could be read as saying the measure itself is singular, whereas the intended meaning is that the nonlinearity 1/u^{δ(x)} is singular. Consider rewording.","section":"§1, Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper relies quite heavily on the companion paper [15] by the same authors for the existence of the approximate solutions and for some a priori bounds. If [15] is not yet available to the readers in final form, the present manuscript may not be fully self-contained. In addition, the mismatch between Theorem 2.10's statement and its proof should be resolved before publication; if the intended result is only for singular measures, that restriction must appear in the theorem statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is worth your attention for one concrete reason: it extends mixed local-nonlocal singular existence theory to the case where the singular measure ν is purely singular, something the authors' earlier work [15] explicitly did not cover. The approximation scheme, using a monotone approximation of ν along the lines of Orsina-Petitta, is a sensible route, and the authors are upfront that the variable-exponent setting forces the extra assumption |∇δ| ∈ L^N(Ω). If correct, Theorem 2.8 is a genuine advance for a specialized but active area.\n\nThe structure is clear: existence of approximate problems in Lemma 4.1, uniform positivity in Lemma 4.2, and then standard a priori estimates. The heavy reliance on [15] makes verification slow, but the borrowed estimates are real.\n\nNow the soft spots. The main theorem as stated is not proven. In Lemma 4.1, estimate (4.6) uses r := inf_Ω δ > 0 to bound log(|u_n|+τ)/(|u_n|+τ)^{δ(x)} uniformly. Neither Lemma 4.1 nor Theorem 2.8 includes a lower bound on δ. Take δ(x)=x_1 on the unit ball: it is continuous, locally Lipschitz, has |∇δ| ∈ L^N, and satisfies the boundary condition P_{ε,δ*}, but inf δ = 0. The function log t / t^{δ(x)} has no uniform constant as δ(x)→0, so (4.6) fails and the approximate solutions are not constructed. This is fixable by adding δ ≥ δ_0 > 0 to the hypotheses, and I suspect the authors intended something like that. But as written, the theorem overclaims.\n\nThe second issue is a mismatch in Theorem 2.10. The statement allows any ν ∈ M^p_0(Ω), but the proof starts by assuming ν is singular with respect to Lebesgue measure. Either the theorem needs that assumption, or the non-singular case needs a separate argument. The estimates in Lemma 4.4 don't seem to use singularity, so it might be a simple typo, but it should be fixed.\n\nBottom line: the core idea and the estimates are plausible, and the gap is a missing hypothesis rather than a broken strategy. The paper deserves a serious referee. I would send it out with a request for revision, adding δ ≥ δ_0 > 0 and clarifying Theorem 2.10. I wouldn't cite it in its current form, but I'd revisit it after revision.","headline":"A credible new existence result for singular measure data that currently overclaims because Lemma 4.1 needs an inf_Ω δ > 0 hypothesis not stated in Theorem 2.8.","tokens_in":20496,"tokens_out":5315,"would_cite":false,"duration_ms":55120,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35M10","35M12","35J75","35R06","35R11"],"pacs":[],"model":"deepseek-v4-flash","headline":"A mixed local-nonlocal singular PDE admits weak solutions when the singular source is a measure, including the purely singular case.","keywords":["mixed local-nonlocal operator","variable singular exponent","measure data","singular measure","weak solution","p-capacity","weak-Lp spaces","existence"],"falsifier":"Take a bounded Lipschitz domain and $\\delta(x)=x_1$ on a domain touching the hyperplane $x_1=0$; this satisfies every hypothesis of Theorem 2.8 except any hidden positive lower bound, because $\\inf_\\Omega\\delta=0$. At estimate (4.6) the proof controls $\\log(|u_n|+\\tau)/(|u_n|+\\tau)^{\\delta(x)}$ using $r=\\inf_\\Omega\\delta>0$, which is absent here, so checking whether the approximate problems of Lemma 4.1 still admit the asserted uniform bounds for this $\\delta$ would settle whether the stated hypotheses are sufficient.","tokens_in":19400,"feed_emoji":"🧮","tokens_out":12642,"duration_ms":122985,"temperature":0.7,"pith_summary":"This paper establishes existence of weak solutions to the semilinear mixed local-nonlocal problem $\\mathcal{M}u = \\nu/u^{\\delta(x)} + \\mu$ in a bounded Lipschitz domain, with zero exterior condition and positivity inside the domain. The main result, Theorem 2.8, allows both source terms $\\mu$ and $\\nu$ to be non-negative bounded Radon measures, with $\\nu$ belonging to the class $M^p_0(\\Omega)$ of measures absolutely continuous with respect to $p$-capacity, for $1<p<N/(N-1)$, while the singular exponent $\\delta(x)$ is variable. The genuinely new case is a purely singular $\\nu$: the paper states that this was not previously known even for constant exponents. If the result is right, mixed local-nonlocal singular problems are solvable for a broad class of measure-valued data, not just integrable data.","feed_headline":"Existence proved for singular equations with measure-valued sources","feed_subtitle":"A monotone-approximation argument handles purely singular measures, a case open even for constant exponents.","key_machinery":"The argument is carried by monotone approximation of the singular measure $\\nu$ by measures $\\nu_n$ in $W^{-1,p'}(\\Omega)$, combined with the decomposition $\\nu=H-\\operatorname{div}G$ available for measures in $M^p_0(\\Omega)$. Each approximating problem shifts the singularity to $1/(u_n+1/n)^{\\delta(x)}$, solves the resulting equation in $W^{1,2}_0(\\Omega)$ through the standard coercive-bilinear-form theorem after a further regularization, and then passes to the limit. Uniform positivity on compact subsets is obtained by comparing every $u_n$ with a fixed positive solution attached to the first approximating measure. The limiting passage uses the cutoff functions $T_k(s)=\\max\\{-k,\\min\\{s,k\\}\\}$ and tails $G_k(s)=(|s|-k)_+\\operatorname{sgn}(s)$ to obtain uniform bounds in weak-$L^q$ spaces, which yield $W^{1,p}_{\\mathrm{loc}}$ convergence and the stated regularity of truncations.","core_discovery":"The central claim is that a continuous, locally Lipschitz variable exponent $\\delta:\\Omega\\to(0,\\infty)$ with $|\\nabla\\delta|\\in L^N(\\Omega)$ and a boundary-side upper bound, together with non-negative bounded Radon measures $\\mu$ and $\\nu\\ne0$ with $\\nu\\in M^p_0(\\Omega)$ and $1<p<N/(N-1)$, guarantees a weak solution $u\\in W^{1,p}_{\\mathrm{loc}}(\\Omega)\\cap L^1(\\Omega)$ of problem (1.1) in the sense of Definition 2.4. When the boundary-side bound is $\\delta_*=1$, the solution lies in $W^{1,p}_0(\\Omega)$; for $\\delta_*>1$, the truncated powers $T_k^{\\frac{\\delta_*+1}{2}}(u)$ lie in $W^{1,2}_0(\\Omega)$ for every $k>0$. A second theorem for constant $\\delta$ gives existence for $\\nu\\in M^p_0(\\Omega)$ with exponent $p=N(\\delta+1)/(N+\\delta-1)$ when $0<\\delta<1$ and $p=2$ when $\\delta\\ge1$, assuming $\\mu\\in L^{N(\\delta+1)/(N+2\\delta)}(\\Omega)$. The paper identifies the purely singular $\\nu$ case as the main novelty.","pith_inferences":["The proof of Lemma 4.1 appears to require an unstated global lower bound $\\inf_\\Omega\\delta>0$; since the hypotheses only say $\\delta>0$ pointwise, the stated argument leaves open the case where $\\delta$ tends to zero at the boundary.","The monotone-measure strategy is not tied to the particular mixed operator, so the same decomposition and truncation estimates should transfer to quasilinear or anisotropic local-nonlocal operators once the corresponding capacity class of measures is fixed.","A natural testable extension is a solution-dependent singular exponent $\\delta(x,u)$, since the machinery already handles spatial dependence together with measure data; the paper does not address that case.","The existence result invites finer questions about summability and regularity of solutions when $\\nu$ is singular, since the paper establishes existence and the stated truncation regularity but not optimal integrability."],"forward_implications":["If Theorem 2.8 is correct, singular measure sources are admissible in mixed local-nonlocal singular equations, a class previously limited to absolutely continuous or integrable data.","For boundary-side exponent bound $\\delta_*=1$, the constructed solution belongs to $W^{1,p}_0(\\Omega)$; for $\\delta_*>1$, the solution lies in $W^{1,p}_{\\mathrm{loc}}(\\Omega)\\cap L^1(\\Omega)$ with truncated powers in $W^{1,2}_0(\\Omega)$.","Theorem 2.10 gives the analogous existence result for constant $\\delta$, with $\\mu$ only required to lie in $L^{N(\\delta+1)/(N+2\\delta)}(\\Omega)$ and with $p$ depending on $\\delta$.","By Remark 2.11, the proof also covers the purely local operator $\\operatorname{div}(A(x)\\nabla u)$, so the singular-measure existence result is new even in the purely local setting.","When $\\nu$ is non-singular, Theorem 2.8 recovers the earlier variable-exponent existence theorem under the added assumption $|\\nabla\\delta|\\in L^N(\\Omega)$."],"supporting_citations":[{"why":"Provides the prior non-singular-measure variable-exponent theory whose approximation scheme fails for singular $\\nu$ and whose estimates serve as the baseline.","marker":"[15]"},{"why":"Supplies the monotone approximation of the measure $\\nu$ that replaces the failed lower-bound argument in the singular case.","marker":"[41]"},{"why":"Gives the representation $\\nu=H-\\operatorname{div}G$ for measures in $M^p_0(\\Omega)$, used to pass to the limit in the singular term.","marker":"[16]"},{"why":"Together with [23], yields the increasing approximating sequence $\\nu_n$ in $W^{-1,p'}(\\Omega)$ converging to $\\nu$ in total variation.","marker":"[8]"},{"why":"Together with [8], yields the increasing approximating sequence $\\nu_n$ in $W^{-1,p'}(\\Omega)$ converging to $\\nu$ in total variation.","marker":"[23]"},{"why":"Provides the measure-integral estimate for bounded truncations used in the uniform a priori bounds.","marker":"[24]"},{"why":"Supplies the auxiliary elliptic regularization used in Lemma 4.1 to construct the approximate solutions.","marker":"[21]"},{"why":"Gives the positivity lemma used to obtain the uniform lower bound of the approximate solutions on compact subsets.","marker":"[31]"}],"fun_headline_variants":["Existence for mixed equations with variable singular exponents and measures","New proof handles singular measures in variable-exponent problems","Weak solutions exist for semilinear mixed equations with singular data","First existence result for purely singular measures in variable-exponent case","Variable singularities and measures: existence theory for mixed equations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof needs the singular exponent to stay bounded away from zero everywhere in the domain, but the theorem only assumes it is positive, continuous, locally Lipschitz, and with gradient in $L^N$; nothing in those assumptions prevents $\\delta$ from tending to zero at the boundary.","fun_headline_variants_meta":{"raw":{"variants":["Existence for mixed equations with variable singular exponents and measures","New proof handles singular measures in variable-exponent problems","Weak solutions exist for semilinear mixed equations with singular data","First existence result for purely singular measures in variable-exponent case","Variable singularities and measures: existence theory for mixed equations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000931,"raw_usage":{"total_tokens":3963,"prompt_tokens":897,"completion_tokens":3066,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":2985}},"tokens_in":513,"tokens_out":3066,"duration_ms":24321,"temperature":1.0,"reasoning_tokens":2985,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:52:48.961212+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a bounded Lipschitz domain and $\\delta(x)=x_1$ on a domain touching the hyperplane $x_1=0$; this satisfies every hypothesis of Theorem 2.8 except any hidden positive lower bound, because $\\inf_\\Omega\\delta=0$. At estimate (4.6) the proof controls $\\log(|u_n|+\\tau)/(|u_n|+\\tau)^{\\delta(x)}$ using $r=\\inf_\\Omega\\delta>0$, which is absent here, so checking whether the approximate problems of Lemma 4.1 still admit the asserted uniform bounds for this $\\delta$ would settle whether the stated hypotheses are sufficient.","supporting_citations":[{"cited_title":"Regularity and existence for semilinear mixed local–nonlocal equations with variable singularities and measure data","cited_arxiv_id":null,"evidence_quote":"Provides the prior non-singular-measure variable-exponent theory whose approximation scheme fails for singular $\\nu$ and whose estimates serve as the baseline."},{"cited_title":"A Lazer-McKenna type problem with measures","cited_arxiv_id":null,"evidence_quote":"Supplies the monotone approximation of the measure $\\nu$ that replaces the failed lower-bound argument in the singular case."},{"cited_title":"Existence and uniqueness of entropy solutions for nonlinear elliptic equations with measure data","cited_arxiv_id":null,"evidence_quote":"Gives the representation $\\nu=H-\\operatorname{div}G$ for measures in $M^p_0(\\Omega)$, used to pass to the limit in the singular term."},{"cited_title":"Baras and M","cited_arxiv_id":null,"evidence_quote":"Together with [23], yields the increasing approximating sequence $\\nu_n$ in $W^{-1,p'}(\\Omega)$ converging to $\\nu$ in total variation."},{"cited_title":"On the integral representation of certain local functionals","cited_arxiv_id":null,"evidence_quote":"Together with [8], yields the increasing approximating sequence $\\nu_n$ in $W^{-1,p'}(\\Omega)$ converging to $\\nu$ in total variation."},{"cited_title":"Renormalized solutions of elliptic equations with general measure data","cited_arxiv_id":null,"evidence_quote":"Provides the measure-integral estimate for bounded truncations used in the uniform a priori bounds."},{"cited_title":"New techniques for solving some class of singular elliptic equations","cited_arxiv_id":null,"evidence_quote":"Supplies the auxiliary elliptic regularization used in Lemma 4.1 to construct the approximate solutions."},{"cited_title":"On the regularity theory for mixed anisotropic and nonlocal p-Laplace equations and its applications to singular problems","cited_arxiv_id":null,"evidence_quote":"Gives the positivity lemma used to obtain the uniform lower bound of the approximate solutions on compact subsets."}],"review_version":1}