{"id":"8e351b02-9dbe-44da-aa86-fe1d01e58a40","arxiv_id":"1908.01663","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the half-plane diffraction problem, the Sommerfeld formula is shown to be the limiting amplitude of the unique solution of the associated time-dependent problem in a Sobolev-based functional class.","lead":"The paper proves that the classical Sommerfeld solution for diffraction by an opaque half-plane is the long-time limit of a unique time-dependent scattering solution, without imposing radiation or edge conditions in advance. It closes a long-standing gap in the mathematical justification of a textbook formula from 1896.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Potential gap: uniqueness proof applies Green's identity on the slit domain Q_R (interior angle 2π at the tip) without showing the divergence theorem holds for H^1 functions and that no boundary term arises at the origin.","rationale":"The reader's weakest_assumption pointed to the extension from the wedge theorem [10, Theorem 2.1] to the angle-2π slit. My read of Section 6 is that the authors do not merely cite [10]; they present a full Green-identity proof of uniqueness. The H^1 regularity of the Fourier-Laplace transform is sufficient to force the circular boundary terms to vanish via the Fubini argument in (6.3), and this part is correct. The genuinely delicate step is the unrestricted use of the divergence theorem on Q_R, which is not a Lipschitz domain at the tip (interior angle 2π). The authors do not explicitly justify that no boundary term arises at the origin, although such a justification can almost certainly be supplied by a small-ball cut-off argument because the tip has zero surface measure and H^1 controls the radial traces on a sequence of shrinking circles. Thus the concern is a rigor gap, not a demonstrated counterexample. Since this is exactly the clause that must hold for the uniqueness theorem to be valid, a conditional acceptance pending this justification is appropriate. The reader's verdict of CONDITIONAL is therefore unchanged, and the agreement is only partial because the reader's stated reason (missing re-proof of [10]) is not quite accurate, while the underlying edge-behavior concern is real.","tokens_in":17570,"tokens_out":33227,"duration_ms":329906,"concrete_test":"Write out the Gauss–Green identity for a general w ∈ H^1(Q) on Q_R by first integrating over Q_R \\ B(ε) and then letting ε → 0 along a sequence satisfying ∫_{∂B(ε)} (|w|² + |∂_ρ w|²) dφ = o(1/ε). Verify that the small-circle boundary term ∫_{∂B(ε)} \\bar w ∂_ρ w dS tends to zero; if it does, Theorem 6.1 is complete as stated, whereas if a nonzero contribution survives, the proof requires an additional edge condition at the screen tip.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 6.1 proves uniqueness of the time-dependent solution in the class M using a Green's identity argument on Q_R = Q∩B(R). The proof is self-contained, contrary to the reader's implication that it merely cites Castro-Kapanadze [10], but it silently assumes that the divergence theorem is valid on Q_R, whose boundary has a reentrant corner of interior angle 2π at the screen tip. The H^1 regularity of the Fourier-Laplace transform is used to show the boundary integrals on the artificial circles ∂B(R_j) vanish as R_j→∞, via the Fubini argument in (6.3). However, the paper does not justify that the integration-by-parts formula itself holds on this non-Lipschitz domain without an additional boundary contribution from the tip. If the divergence theorem on Q_R produces a nonzero boundary term at the origin (or if the trace of the normal derivative is not integrable there), equations (6.1)–(6.2) would acquire an extra term, and the conclusion W_hat_s ≡ 0 would not follow. This is exactly the step where the half-plane slit (angle 2π) differs from the proper wedges of aperture angle < 2π treated in [10], so it is the most load-bearing point in the central uniqueness claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the two-dimensional time-dependent diffraction of a plane wave by an opaque half-plane with Dirichlet boundary conditions. The authors interpret the classical Sommerfeld stationary solution as the limiting amplitude, as t tends to infinity, of a solution to the time-dependent problem (1.5)-(1.6). They define a class M of generalized solutions whose Fourier-Laplace transforms are holomorphic in the upper half-plane with values in C^2(Q) ∩ H^1(Q), and they prove in Theorem 6.1 that the mixed problem (1.8)-(1.10) admits a unique solution in M. The existence part is taken from the authors' earlier paper [11]; the new contribution is the uniqueness proof, which passes to the Fourier-Laplace transform and adapts the Castro-Kapanadze uniqueness theorem [10] to the slit domain with interior angle 2π. The paper also gives explicit estimates for the Fourier-Laplace transform of the solution and shows that it belongs to H^1(Q).","tokens_in":17815,"tokens_out":33447,"duration_ms":344940,"significance":"If the main theorem is correct, the paper provides a natural way to obtain the radiation and edge conditions for the Sommerfeld half-plane problem from a well-posed time-dependent setting, without imposing those conditions a priori. This closes a gap left by the authors' previous work, which treated wedges with nonzero aperture angle but excluded the half-plane case. The explicit Fourier-Laplace estimates in Section 5 are a useful technical contribution, and the connection between the stationary uniqueness and the time-dependent class M is conceptually appealing. However, the uniqueness proof in Section 6 contains a load-bearing gap: the first Green identity is used on a non-Lipschitz slit domain without justifying the absence of a boundary contribution from the screen tip. Because this step is essential for the conclusion that the difference of two solutions vanishes, the paper needs a substantial revision before the central claim can be accepted.","major_comments":[{"comment":"The first Green identity is applied on the domain Q_R = Q ∩ B(R), which has a reentrant corner of interior angle 2π at the screen tip and another non-Lipschitz point where the slit meets ∂B(R). The paper does not justify that the integration-by-parts formula holds for functions in H^1(Q_R) without an additional boundary contribution from the tip. For a solution of (Δ+ω^2)ŵ_s = 0 with zero Dirichlet data on the screen, such a tip term will vanish if one has the standard edge asymptotics ŵ_s = O(r^{1/2}) and ∇ŵ_s = O(r^{-1/2}), but this estimate is not stated or proved in the manuscript. Without a proof or a precise reference for the Green formula on slit domains, or an argument showing that the inner boundary term tends to zero, the step leading to (6.1)-(6.2) is not rigorous and the conclusion ŵ_s ≡ 0 does not follow.","section":"Section 6, equations (6.1)-(6.3)"},{"comment":"The text states that the left-hand side integrands in (6.1) and (6.2) are non-negative. This is false for (6.2) when Re ω > 0, since the integrand there is -2(Re ω)(Im ω)|ŵ_s|^2, which is negative. The final conclusion can still be recovered by taking absolute values and using that the prefactor is nonzero and that the boundary term tends to zero along the sequence R_j, but the monotonicity argument as written is incorrect and needs to be repaired.","section":"Section 6, after equation (6.2)"}],"minor_comments":[{"comment":"The assertion that arbitrary solutions in M satisfy all the conditions of Proposition 5.7 is not justified, because the exponential estimates (5.6) are proved only for the explicitly constructed solution, not for the whole class M. The subsequent argument only uses H^1(Q), so the overstatement should be removed or qualified.","section":"Section 6, first paragraph of Theorem 6.1"},{"comment":"The definition of A_i in Corollary 4.3 appears inconsistent with (1.1): the limiting amplitude of u_i should be e^{-iω_0 ρ cos(φ-α)}, not e^{-iω_0 ρ cos(φ+α)}. Please check the sign in the exponential.","section":"Section 4, Corollary 4.3"},{"comment":"The claim that the approach obtains the regularity edge condition 'in a natural way' would be clearer if the paper explicitly identified which edge condition is obtained (for example, the r^{1/2} behavior at the tip) and where in the proof it enters.","section":"Introduction and Conclusion"},{"comment":"There are several typographical errors, including 'exept' for 'except', 'nostationary' for 'nonstationary', 'Schawrtz' for 'Schwarz', and an apparent notation slip 'Âω_s' in the sentence preceding (6.2).","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's main novelty rests on the uniqueness proof in Section 6, while existence and the limiting amplitude principle are imported from the authors' previous paper [11]. The self-citation is acceptable, but the authors should clearly separate imported results from new ones. The tip gap in Section 6 is the main risk; if the authors supply a rigorous justification of the Green identity on the slit domain, the paper would be publishable. The sign error in (6.2) is minor and easily fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper closes a genuine gap: uniqueness of the time-dependent half-plane diffraction problem in the class M, and it shows the Sommerfeld formula is the limiting amplitude of the unique solution. The main new idea is to pass through the Fourier-Laplace transform to a stationary problem with complex wavenumber, where H^1 uniqueness from Castro-Kapanadze applies. That is a nice reduction and it avoids imposing radiation and edge conditions from the start. The explicit estimates in Section 5 are careful and mostly convincing, and the proof that the transform belongs to H^1 is plausible.\n\nThe soft spots: first, the description of (6.2) is off. The integrand on the left is negative for Re omega > 0, not non-negative. The argument still works if you take absolute values and use monotonicity of the integral, but the text is wrong as written. Second, and more importantly, the uniqueness proof applies Green's first identity on Q_R, which is a slit domain with a reentrant corner of angle 2*pi at the origin. For proper wedges (angle < 2*pi) the boundary is Lipschitz and the theorem in [10] applies. Here the tip is a crack tip where the normal is not defined and the divergence theorem for H^1 functions is not automatic. The paper does not justify that no boundary contribution arises from the origin. I think the gap is patchable: cut out a small circle around the origin, use the same Fubini argument the paper uses for the outer circles to send the inner boundary term to zero along a sequence. But patchable is not the same as present, and since the entire uniqueness claim rests on this step, it should be written out.\n\nI do not think the reliance on the authors' earlier existence result [11] is a problem; the uniqueness result here is new and does not depend on [11] for its argument. The citation pattern is normal for this group, and the cited results are relevant.\n\nBottom line: this is a serious paper, worth refereeing, but the referee should ask for a clean treatment of the divergence theorem at the slit tip and a correction to the sign statement in (6.2). I would send it to a good PDE or mathematical physics journal and expect a revise-and-resubmit.","headline":"Fills a real gap in half-plane diffraction uniqueness, but the Green identity step on the slit domain needs spelling out before the central claim is airtight.","tokens_in":18350,"tokens_out":9238,"would_cite":true,"duration_ms":93048,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L05","35B40","35A02","78A45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Time-dependent uniqueness pins down Sommerfeld's half-plane diffraction solution","keywords":["diffraction","half-plane","Sommerfeld solution","limiting amplitude principle","time-dependent scattering","uniqueness","Sobolev space","Fourier-Laplace transform"],"falsifier":"Construct a nontrivial solution of the homogeneous stationary problem (with zero boundary data and complex wavenumber) that lies in the Fourier-Laplace image of a function in $M$, showing that the uniqueness step fails. Since the proof uses the decay of boundary integrals along a sequence of radii $R_j$, one could test the argument by numerically constructing a solution that has nonzero boundary traces that decay slower than $o(R^{-1/2})$ in $L^2$ norm along every sequence of radii, which would invalidate equation (6.3).","tokens_in":17377,"feed_emoji":"🌊","tokens_out":1334,"duration_ms":14272,"temperature":0.7,"pith_summary":"The paper establishes that the classical Sommerfeld solution for diffraction of a plane wave by an opaque half-plane is the unique limiting amplitude of a time-dependent scattering problem. The authors prove that the time-dependent problem has a unique solution in a specific functional class, and that as time goes to infinity this solution tends to the Sommerfeld formula without needing to impose radiation or edge regularity conditions from the outset. This matters because the stationary diffraction problem is non-unique, and the paper explains where the usual physical selection conditions come from: they emerge naturally from the time-dependent formulation.","feed_headline":"Time-dependent uniqueness pins down Sommerfeld half-plane diffraction","feed_subtitle":"The classic diffraction formula emerges as the unique limit of a time-dependent wave problem, without ad hoc radiation conditions.","key_machinery":"The functional class $M$: functions whose Fourier-Laplace transform in time is holomorphic in the upper half-plane with values in $H^1(Q)$. Membership in $M$ gives the needed trace and boundary properties so that the stationary problem is well-posed, and it replaces the ad hoc radiation and edge regularity conditions. The other load-bearing object is the Fourier-Laplace transform itself, which converts the time-dependent problem into a stationary Helmholtz problem with complex wavenumber, enabling the Sobolev-space uniqueness argument.","core_discovery":"The central claim is that the Sommerfeld half-plane solution is not an arbitrary choice among many stationary solutions, but the forced limit of a unique time-dependent evolution. Working with the scattered wave $u_s$ rather than the total wave, the authors apply a Fourier-Laplace transform in time to obtain a family of stationary Helmholtz problems with complex wavenumber. They prove (Theorem 6.1) that the time-dependent problem (1.8)-(1.10) admits a unique solution in the space $M$ of distributions whose Fourier-Laplace transform is holomorphic in the upper half-plane and belongs to $H^1(Q)$ pointwise. The uniqueness proof uses the Castro-Kapanadze theorem for wedges, extended to the angle-$2\\pi$ slit domain, with a Green's identity argument that selects a subsequence of radii $R_j$ on which the boundary terms vanish. Once uniqueness is established, the previously proven limiting amplitude principle identifies the Sommerfeld formula as the unique physical limit.","pith_inferences":["The argument suggests that the choice of solution class $M$ is not an artifact but captures the physical causality of the scattering process, since the Fourier-Laplace transform encodes the fact that the scattered wave vanishes for negative times.","One could test the robustness of the uniqueness by varying the functional class (e.g., weaker or stronger Sobolev regularity) and checking whether the limiting amplitude remains the Sommerfeld solution.","The same technique of reducing nonstationary to stationary problems with complex wavenumber might apply to diffraction by multiple half-planes or by screens with finite extent, where the radiation conditions are harder to guess a priori."],"forward_implications":["The Sommerfeld solution is the unique physical limit of the time-dependent problem, so no additional radiation or edge conditions are needed beyond the time-dependent formulation.","The same scheme can be applied to other diffraction problems by half-planes (e.g., Neumann or impedance boundary conditions) to justify their classical formulas as limiting amplitudes.","The uniqueness result fills the gap in the earlier work of Komech et al., making the limiting amplitude principle rigorous for the half-plane case.","The proof demonstrates that the regularity of the Fourier-Laplace transform encodes the edge behavior, suggesting a general principle for selecting physical solutions in diffraction problems with screens.","The method shows that the ill-posedness of the stationary problem is resolved once it is embedded in a time-dependent evolution with an appropriate solution class."],"supporting_citations":[{"why":"Supplies the wedge uniqueness theorem (Castro-Kapanadze) that the paper adapts to the angle-$2\\pi$ slit domain; the core of the uniqueness proof.","marker":"[10]"},{"why":"Provides the limiting amplitude principle for the half-plane (existence and identification of the Sommerfeld solution as the limit), which the present paper complements with uniqueness.","marker":"[11]"},{"why":"Earlier uniqueness result for Sommerfeld diffraction via decomposition into geometrical and diffracted parts, serving as the prior art that this approach improves.","marker":"[4]"},{"why":"Establishes uniqueness for complex wavenumber in Sobolev spaces for a wide class of incident waves, a key ingredient for the stationary reduction.","marker":"[6]"},{"why":"Addresses the same complex-wavenumber problem with different boundary conditions, providing the context for the treatment of the Dirichlet case here.","marker":"[5]"}],"fun_headline_variants":["Sommerfeld half-plane diffraction pinned down by time limit","Time-dependent waves force unique Sommerfeld diffraction","Uniqueness of half-plane diffraction from limiting amplitude","No ad hoc radiation: Sommerfeld solution is unique limit","Time-dependent uniqueness settles half-plane diffraction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness proof relies on extending the wedge uniqueness theorem of Castro-Kapanadze from wedges of arbitrary aperture angle to the limiting case of a slit with angle $2\\pi$, without re-proving the theorem for that degenerate domain; if the extension requires edge conditions that are not captured by the $H^1$ regularity of the Fourier-Laplace transform, the central uniqueness claim collapses.","fun_headline_variants_meta":{"raw":{"variants":["Sommerfeld half-plane diffraction pinned down by time limit","Time-dependent waves force unique Sommerfeld diffraction","Uniqueness of half-plane diffraction from limiting amplitude","No ad hoc radiation: Sommerfeld solution is unique limit","Time-dependent uniqueness settles half-plane diffraction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000237,"raw_usage":{"total_tokens":1475,"prompt_tokens":878,"completion_tokens":597,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":524}},"tokens_in":494,"tokens_out":597,"duration_ms":7184,"temperature":1.0,"reasoning_tokens":524,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:06:28.676377+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a nontrivial solution of the homogeneous stationary problem (with zero boundary data and complex wavenumber) that lies in the Fourier-Laplace image of a function in $M$, showing that the uniqueness step fails. Since the proof uses the decay of boundary integrals along a sequence of radii $R_j$, one could test the argument by numerically constructing a solution that has nonzero boundary traces that decay slower than $o(R^{-1/2})$ in $L^2$ norm along every sequence of radii, which would invalidate equation (6.3).","supporting_citations":[{"cited_title":"Wave diffraction by wedges having arbitrary aperture angle","cited_arxiv_id":null,"evidence_quote":"Supplies the wedge uniqueness theorem (Castro-Kapanadze) that the paper adapts to the angle-$2\\pi$ slit domain; the core of the uniqueness proof."},{"cited_title":"Sommerfeld’s solution as the limiting amplitude and asymp- totics for narrow wedges","cited_arxiv_id":null,"evidence_quote":"Provides the limiting amplitude principle for the half-plane (existence and identification of the Sommerfeld solution as the limit), which the present paper complements with uniqueness."},{"cited_title":"A uniqueness and a new solution for Sommerfeld’s and other diffraction problems","cited_arxiv_id":null,"evidence_quote":"Earlier uniqueness result for Sommerfeld diffraction via decomposition into geometrical and diffracted parts, serving as the prior art that this approach improves."},{"cited_title":"F., Teixeira F.S","cited_arxiv_id":null,"evidence_quote":"Establishes uniqueness for complex wavenumber in Sobolev spaces for a wide class of incident waves, a key ingredient for the stationary reduction."},{"cited_title":"Heins, A","cited_arxiv_id":null,"evidence_quote":"Addresses the same complex-wavenumber problem with different boundary conditions, providing the context for the treatment of the Dirichlet case here."}],"review_version":1}