{"id":"b8a3de21-2cfa-461c-aafd-b317fa98d334","arxiv_id":"1908.09279","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves existence of solutions for dynamic contact of viscoelastic plates with limited interpenetration, and shows these solutions converge to Signorini contact solutions as the allowed interpenetration tends to zero.","lead":"This mathematics paper proves that several viscoelastic plate models have well-defined motions when they press against a foundation with a small, bounded amount of interpenetration. It matters because limited-interpenetration contact is more realistic than perfect impenetrability, and the proof gives a rigorous foundation for models engineers use in simulations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract says all models are solved for classical and singular memory, but §4.2 leaves the singular-memory full von Kármán case to the reader as an exercise, so the 'all models' claim is unsupported.","rationale":"The reader's weakest-assumption analysis correctly identifies the strict positivity u0 >= c0 > 0 as a genuine restriction. However, the single most load-bearing concern is the explicit self-admitted omission in Section 4.2: the abstract claims that all models are treated for both classical and singular memory, but the singular-memory full von Kármán case is left to the reader as an exercise. This is not a hidden or debatable limitation; it is a missing proof directly contradicting the paper's headline claim. Since Section 5's convergence results are asserted for all models, they cannot hold for a model whose existence was never established. The verdict CONDITIONAL already reflects the need for correction, so no change in verdict is required; the paper should either supply the missing proof or narrow the abstract. The positivity assumption remains an important secondary limitation, and the two concerns together reinforce the conditional status.","tokens_in":15938,"tokens_out":16972,"duration_ms":161007,"concrete_test":"Write out the Galerkin estimates for the singular-memory full von Kármán system by replacing the short-memory terms e1(epsilon(dot u)+partial_t Psi(nabla u)) in (39) with e1 d_m(epsilon(u)+Psi(nabla u)), and verify that identity (13) still yields a k-independent bound on ||u_k||_{H^alpha(I;H^2(Omega))} plus the L^1 contact-force estimate needed for the dual bound on ddot u_k in L^1(I;H^2(Omega)^*). If the fractional-derivative norm of Psi(nabla u_k) cannot be controlled with the sign available from (13), the 'exercise' is not routine and the abstract should be amended to exclude this case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, as stated in the abstract and in the reader's strongest claim, covers full von Kármán systems with singular memory. Section 4.2 proves the short-memory full von Kármán system and then states: 'Similarly to the previous sections we can formulate the full von Kármán system with the singular memory ... As in the previous cases under the assumption (16) it is possible to pass ... We allow ourselves to leave this case to kind readers as an exercise.' This is an explicit admission that the advertised result is not proved for that case. The existence theorem for the full von Kármán singular-memory model is not established, and Section 5's convergence-to-Signorini statement, which is claimed 'for all models', inherits the gap because it presupposes solutions u_l for each gamma_l. The gap is a missing proof, not a wrong argument, but it makes the abstract's blanket statement overbroad. The positivity assumption (3) is a further limitation, but it is at least stated as an assumption in Theorem 1; the omitted case is presented as a done result while being deferred.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies dynamic contact problems with limited interpenetration for several viscoelastic plate models: biharmonic plates, von Kármán plates, Reissner-Mindlin plates, and full von Kármán systems, with either classical (short-memory) viscoelasticity or a singular memory kernel. The proposed framework is an abstract formulation in which the contact force is a nonincreasing function p with a vertical asymptote at a finite interpenetration bound, approximated by piecewise linear functions p_k. Existence is claimed via Galerkin approximation, a priori estimates, compactness arguments, and a maximal monotonicity limit passage; Section 5 then claims convergence to the corresponding Signorini problems as the interpenetration bound tends to zero. The proof details for the approximate problems are mostly deferred to the author's earlier papers [1]–[4].","tokens_in":16073,"tokens_out":9297,"duration_ms":95894,"significance":"If the advertised results are correct, the paper would provide a useful extension of unilateral contact existence theory to rational contact with limited interpenetration for a broad class of plate models, including singular memory. The identification of the smallness condition (16) and the explicit a priori estimates are concrete contributions, and the maximal-monotonicity limit mechanism is natural. However, the blanket claim in the abstract that all named models are solved for both classical and singular memory is not matched by the text: the singular-memory full von Kármán case is explicitly left to the reader as an exercise, and the Section 5 convergence statement for 'all models' inherits this gap. The strict positivity assumption (3) is also an unadvertised physical restriction.","major_comments":[{"comment":"The abstract claims solvability for the biharmonic, von Kármán, Reissner-Mindlin and full von Kármán plates with classical or singular memory, and Section 5 begins by asserting a common convergence-to-Signorini property for the problems treated in the previous sections. However, the final paragraph of §4.2 explicitly leaves the singular-memory full von Kármán system to the reader as an exercise, stating only that under assumption (16) 'it is possible to pass' to the limit. Since no solution u_l is constructed for that model, the abstract's blanket claim and Section 5's 'for all models' convergence statement are not established for the singular-memory full von Kármán case. Please either supply the missing proof or explicitly restrict the claims in the abstract and in Section 5.","section":"§4.2 (final paragraph), Abstract, §5 (first paragraph)"},{"comment":"The proof uses the strict lower bound u0 ≥ c0 > 0 in an essential way to derive the uniform L1 estimate for p_k(u_k+g), and this assumption is inherited by every model treated in Sections 3 and 4. The assumption excludes initial configurations that touch or lie below the foundation level, which are natural in contact dynamics. The restriction is not mentioned in the abstract or in the concluding remarks, where the results are said to be 'available for technical practice'; please state this limitation explicitly and discuss whether an alternative test-function argument could remove or weaken it.","section":"§2, assumption (3) and the estimate after Eq. (4)"},{"comment":"The solvability of the approximate Galerkin problems is repeatedly deferred to the author's earlier papers [1]–[4], with the assertion that there is no substantial difference from the penalized Signorini problems treated there. Because the rational-contact nonlinearity p_k has a vertical asymptote and a flat part, the transfer is not literally identical, and in the singular-memory cases the admissible test functions require extra regularity, as the text itself notes before Eq. (34). Please state precisely why the arguments in [1]–[4] carry over, or include the missing Galerkin details for the rational-contact approximation.","section":"§2 (before Eq. (4)), §4.1 (before Eqs. (30)–(31)), §4.2 (after Eq. (47))"}],"minor_comments":[{"comment":"The boundary condition 'u = u(0)' on S appears inconsistent with the traction condition (C1+C0)n·n = \\tilde q(~u_n) and with the variational formulation (43); please clarify the intended in-plane boundary condition.","section":"Eq. (40)"},{"comment":"Equation (47) contains notational slips: Pk(u+g) should presumably be Pk(uk+g), 'L1(Q)' should be 'L1(Ω)' in the Pk term, and the last norm has a mismatched bracket 'L1(S)]'.","section":"Eq. (47)"},{"comment":"In the a priori estimate (19), the term 'Pk(u + g)' should be 'Pk(uk + g)' to match the surrounding notation.","section":"Eq. (19)"},{"comment":"The last term on the right-hand side of (50), '⟨u1, y(0,·) − u1⟩_Ω', appears to be a typo for '⟨u1, y(0,·) − u0⟩_Ω', since the initial deflection is u0; as written the term is inconsistent with the variational formulation (2).","section":"Eq. (50)"},{"comment":"There are numerous typographical errors, including 'viscolastic' in the abstract, 'anoother' in Section 2, 'independent of of' before (35), and reference [8] has '66 (20150' instead of the year; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript leans heavily on the author's own prior papers [1]–[4] for the existence of the approximate Galerkin solutions; this is not circular self-citation, but the editor may wish to ensure that the transfer of those arguments to the rational-contact nonlinearity is documented. The abstract's overclaim concerning the singular-memory full von Kármán case should be corrected before publication, as should the unadvertised positivity restriction on the initial deflection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jarušek has written another research announcement in his series on plate contact, and this one extends the rational-contact-with-limited-interpenetration model to domain contact for four viscoelastic plate models. The new work is real: the adaptation of the Galerkin/penalization strategy from the Signorini papers to the rational contact graph requires nontrivial estimates, especially for the singular memory kernel and the Reissner-Mindlin system. For the cases actually proved, the existence theorems look sound and the a priori estimates are credible.\n\nThe soft spot is the abstract. It claims solvability for all models with both classical and singular memory, but Section 4.2 explicitly leaves the singular-memory full von Kármán case to 'kind readers as an exercise.' That is an unproved case, not a minor omission. The convergence-to-Signorini section (Section 5) inherits the problem because it assumes solutions exist for each gamma_l, including that case. So the blanket statements at the start and in the conclusion are overbroad. This is a missing proof, not a flawed argument, but it should be fixed: either supply the proof or state the theorem without that case.\n\nOther reservations are minor. The paper is not self-contained—Galerkin details are deferred to [1]–[4], and the Signorini limit is a sketch. That is normal for a research announcement, but the reader takes a lot on faith. The positivity assumption u0 >= c0 > 0 is restrictive but explicitly stated and used in the L1 estimate for the contact force.\n\nI think the paper deserves a serious referee. The proved results are valuable, and the overclaim is fixable. A referee should ask for a revised abstract and conclusion, and ideally the missing proof or a clear statement of the limitation. I would bring this to a reading group as an example of a research announcement that overreaches, and I would cite it for the models it actually covers.","headline":"A useful research announcement that proves real existence results for several plate contact models, but the abstract promises more than the paper delivers: the singular-memory full von Kármán case is explicitly left as an exercise.","tokens_in":16685,"tokens_out":3055,"would_cite":true,"duration_ms":28424,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q74","74D10","74H20","74K20","74M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves existence of weak solutions for dynamic rational contact with limited interpenetration of viscoelastic plates, and shows convergence to Signorini contact as the allowed interpenetration tends to zero.","keywords":["dynamic contact problem","limited interpenetration","rational contact","viscoelastic plate","von Kármán plate","Reissner-Mindlin plate","Signorini contact","singular memory"],"falsifier":"For the biharmonic plate on a rectangle with $u_0\\equiv c_0>0$, $u_1=0$, $f=0$, $g=0$, and the contact function $p(x)=1/(x-\\gamma)$ for $x>\\gamma$, $p(x)=0$ for $x\\ge0$, solve the finite-dimensional approximate problems with decreasing $\\delta_k$ and compute $\\|p_k(u_k+g)\\|_{L^1(Q)}$. The theorem predicts this bound remains finite; if it diverges, the asserted a priori estimate (4) fails and the theorem's conclusion would be contradicted.","tokens_in":15659,"feed_emoji":"📐","tokens_out":13307,"duration_ms":114865,"temperature":0.7,"pith_summary":"The paper establishes existence of weak solutions to dynamic contact problems in which a viscoelastic plate may press into a foundation but only up to a fixed depth, after which the contact force becomes infinite and blocks further penetration. This rational contact with limited interpenetration is treated for four plate families: biharmonic, von Kármán, Reissner-Mindlin, and full von Kármán, with either classical short-memory or singular long-memory viscoelasticity. The proof approximates the singular contact law by smoother forces, derives bounds independent of the approximation, and passes to the limit through monotonicity. The paper further shows that as the allowed penetration depth tends to zero, the solutions converge to solutions of the classical Signorini (no-penetration) contact problem.","feed_headline":"Dynamic plate contact with finite interpenetration has solutions","feed_subtitle":"Viscoelastic plate models gain existence and converge to the Signorini limit as allowed penetration vanishes.","key_machinery":"The central object is the contact law $p$, a nonincreasing function with $p(x)=0$ for $x\\ge 0$, finite for $x>\\gamma$, and $p(x)\\to+\\infty$ as $x\\downarrow\\gamma$. The proof surrounds it with approximate functions $p_k$ obtained by replacing $p$ near $\\gamma+\\delta_k$ by a tangent line, so that each $p_k$ is monotone and Lipschitz and $p_k\\to p$ as $\\delta_k\\downarrow0$. These $p_k$ generate the $k$-independent estimate (4), which controls kinetic, elastic, and $P_k(u_k+g)$ terms; together with the positivity of $u_0$ it gives a uniform $L^1(Q)$ bound on the contact force $p_k(u_k+g)$. That bound yields a dual estimate for the accelerations, strong $L^2(Q)$ convergence of velocities through the classical compactness lemma, and upper semicontinuity of the contact term; the maximal monotonicity of $p$ then identifies the weak limit as $p(u+g)$. In the singular-memory models, the kernel $K(t)=t^{-2\\alpha}q(t)+r(t)$ with the smallness condition supplies a fractional time-derivative norm that substitutes for the missing velocity damping.","core_discovery":"On its own terms, the paper claims that for each of these plate models the relevant variational problem has at least one solution $u$ under the stated hypotheses on the operators, the memory kernel, the data, and the contact function $p$, and that the solution satisfies the a priori and dual estimates. The construction goes through finite-dimensional approximations of the penalized problems with $p_k$; the crucial steps are the uniform $L^1(Q)$ bound on $p_k(u_k+g)$, obtained from the positivity of the initial deflection $u_0$, and the identification of the weak limit $\\vartheta$ with $p(u+g)$ using the maximal monotonicity of $p$. In the singular-memory cases, the smallness condition on the kernel makes the viscoelastic form strongly monotone and yields fractional-derivative bounds that replace the missing velocity damping. Section 5 extends the same estimates to a sequence $\\gamma_\\ell \\uparrow 0$ and proves that the limit solves the corresponding Signorini variational inequality.","pith_inferences":["The same approximation-by-tangent-lines strategy would likely transfer to other monotone contact laws, such as subdifferential obstacle conditions, whenever an a priori bound of the type (4) can be established.","The condition $u_0\\ge c_0>0$ may be relaxable to $u_0\\ge0$ by replacing the $L^1$ control of the contact force with a different a priori estimate, but the paper does not investigate this; a numerical or analytic test of that relaxation would map the sharpness of the theorem.","The $\\gamma\\to0$ convergence suggests that in computational practice one could approximate Signorini contact by solving the rational-contact problem for small $\\gamma$, without Lagrange multipliers or penalty parameters whose tuning is delicate; this is an extension the paper does not state.","For the full von Kármán system, the same convergence applies to both the boundary contact and the domain contact, which may be useful in engineering models of covers or liners resting on foundations."],"forward_implications":["The same existence scheme covers biharmonic, von Kármán, Reissner-Mindlin, and full von Kármán plates, with clamped or simply supported boundary conditions where physically meaningful.","For singular-memory viscoelasticity, existence holds provided the memory kernel is small enough in the precise sense of the paper; this condition is part of the theorem, not a technical afterthought.","As the maximal interpenetration $\\gamma$ tends to zero, solutions converge subsequentially to solutions of the corresponding Signorini contact problem, so the rational contact law can serve as a regular approximation of ideal no-penetration contact.","The strict positivity of the initial deflection is used essentially: the plate must start strictly above the foundation for the proof to control the contact force in $L^1$.","For the full von Kármán system, the convergence applies to both the boundary contact and the domain contact, giving a Signorini limit for each contact law."],"supporting_citations":[{"why":"Introduces the rational contact model with limited interpenetration whose dynamic plate solvability this paper extends.","marker":"[7]"},{"why":"Proves solvability of the static version of the rational contact model, providing the starting point.","marker":"[8]"},{"why":"Treats the first dynamic rational contact problem, which this paper moves from boundary contact to domain contact.","marker":"[9]"},{"why":"Supplies the dynamic contact treatment of viscoelastic von Kármán plates on which the corresponding section builds.","marker":"[1]"},{"why":"Provides the singular-memory von Kármán plate contact theory and the fractional-norm estimates reused here.","marker":"[2]"},{"why":"Gives the Reissner-Mindlin plate contact problem whose penalized proofs are postponed to this reference.","marker":"[4]"},{"why":"Establishes the dynamic contact problem for the full von Kármán system adapted here with two contact laws.","marker":"[3]"},{"why":"Supplies the maximal monotonicity property of the extended contact graph used to identify the weak limit as p(u+g).","marker":"[5]"},{"why":"Source of the embedding, interpolation, and coercivity theorems used in every limit procedure.","marker":"[6]"}],"fun_headline_variants":["Viscoelastic plate contact with finite interpenetration proven solvable","Existence for viscoelastic plate contact with limited interpenetration","Finite interpenetration contact: existence for viscoelastic plates","Plate contact: viscoelastic solutions and Signorini limit as penetration vanishes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof requires the initial deflection to be strictly positive, bounded away from zero on the whole domain; if the plate starts touching the foundation at some point, the $L^1$ bound on the contact force that drives the entire existence argument fails.","fun_headline_variants_meta":{"raw":{"variants":["Viscoelastic plate contact with finite interpenetration proven solvable","Existence for viscoelastic plate contact with limited interpenetration","Finite interpenetration contact: existence for viscoelastic plates","Plate contact: viscoelastic solutions and Signorini limit as penetration vanishes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001198,"raw_usage":{"total_tokens":4886,"prompt_tokens":838,"completion_tokens":4048,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":454,"completion_tokens_details":{"reasoning_tokens":3968}},"tokens_in":454,"tokens_out":4048,"duration_ms":28661,"temperature":1.0,"reasoning_tokens":3968,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:16:53.984375+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the biharmonic plate on a rectangle with $u_0\\equiv c_0>0$, $u_1=0$, $f=0$, $g=0$, and the contact function $p(x)=1/(x-\\gamma)$ for $x>\\gamma$, $p(x)=0$ for $x\\ge0$, solve the finite-dimensional approximate problems with decreasing $\\delta_k$ and compute $\\|p_k(u_k+g)\\|_{L^1(Q)}$. The theorem predicts this bound remains finite; if it diverges, the asserted a priori estimate (4) fails and the theorem's conclusion would be contradicted.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the rational contact model with limited interpenetration whose dynamic plate solvability this paper extends."},{"cited_title":"Jaruˇ sek","cited_arxiv_id":null,"evidence_quote":"Proves solvability of the static version of the rational contact model, providing the starting point."},{"cited_title":"Jaruˇ sek and J","cited_arxiv_id":null,"evidence_quote":"Treats the first dynamic rational contact problem, which this paper moves from boundary contact to domain contact."},{"cited_title":"Bock and J","cited_arxiv_id":null,"evidence_quote":"Supplies the dynamic contact treatment of viscoelastic von Kármán plates on which the corresponding section builds."},{"cited_title":"Bock and J","cited_arxiv_id":null,"evidence_quote":"Provides the singular-memory von Kármán plate contact theory and the fractional-norm estimates reused here."},{"cited_title":"Bock and J","cited_arxiv_id":null,"evidence_quote":"Gives the Reissner-Mindlin plate contact problem whose penalized proofs are postponed to this reference."},{"cited_title":"Bock and J","cited_arxiv_id":null,"evidence_quote":"Establishes the dynamic contact problem for the full von Kármán system adapted here with two contact laws."},{"cited_title":"Borwein, J and Q.J","cited_arxiv_id":null,"evidence_quote":"Supplies the maximal monotonicity property of the extended contact graph used to identify the weak limit as p(u+g)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the embedding, interpolation, and coercivity theorems used in every limit procedure."}],"review_version":1}