{"id":"ee73edac-deb9-4b0a-98ce-490d8d43f6e3","arxiv_id":"2411.13442","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For two-parameter generalized trigonometric and hyperbolic functions, the paper proves monotonicity and (log-)convexity or concavity in the parameters p and q, and derives new hypergeometric representations and integral evaluations.","lead":"A math paper maps out how generalized sine, cosine, and hyperbolic functions built from p,q parameters behave when those parameters change, showing which are monotone and which are convex or concave in a logarithmic sense. It also gives two new hypergeometric formulas and four explicit integrals for these functions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4 proof has a wrong derivative; log-convexity of sinh_{p,q} is unproven, and the y-domain [0,π_q] should be [0,π_q/2].","rationale":"We agree with the reader that Theorem 4/Corollary 3 overstate the y-range: since \\hat\\pi_{p,q}/2 is strictly increasing in p and tends to \\pi_q/2 as p\\downarrow 1, the intersection of domains over p>1 is [0,\\pi_q/2], not [0,\\pi_q]. However, the more load-bearing problem is the derivation error in the proof of Theorem 4: the derivative asserted there does not follow from the displayed definition of f1 and f2. This is not a mere domain typo; it invalidates the proof of the main log-convexity result. Theorem 3's proof seems consistent, and the integral evaluations and hypergeometric representations may be correct, but the paper's headline claim about sinh_{p,q} is not established as written. The verdict should remain conditional on a corrected proof and corrected domains.","tokens_in":16452,"tokens_out":30959,"duration_ms":234027,"concrete_test":"Recompute f1'(x)-f2'(x) from the definitions in (35) using the product rule. If the result contains terms not present in the displayed derivative in Theorem 4's proof (specifically, a(x)μ'(x)+log(1+x^q)+q x^q/(1+x^q)-q x^q/(1+x^q)^{1+1/p}), then the proof's key identity fails. A numeric check at q=2, p=4, x=0.5 confirms the discrepancy.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 4 hinges on inequality (35) and the asserted derivative f1'(x)-f2'(x) = q^2 x^{q-1}/[p(1+x^q)^2] ∫_0^x log(1+t^q)/(1+t^q)^{1/p} dt + [2p(1+x^q)-q x^q]/(1+x^q)^{1+1/p}. But f1 and f2 are defined in (35) as f1 = q x^q/[p(1+x^q)] μ + x log(1+x^q) + 2 p x/(1+x^q)^{1/p}, f2 = μ, with μ = ∫_0^x log(1+t^q)/(1+t^q)^{1/p} dt. Differentiating f1-f2 gives the additional summands -a(x) μ'(x) - log(1+x^q) - q x^q/(1+x^q) + q x^q/(1+x^q)^{1+1/p}, where a = q x^q/[p(1+x^q)] - 1 and μ' = log(1+x^q)/(1+x^q)^{1/p}. This expression is not identically zero, so the derivative used in the proof is incorrect. Consequently, the subsequent conclusion that f1' - f2' > 0, and hence the log-convexity claim, is not justified. In addition, the stated y-domain [0,π_q] for Theorem 4 and Corollary 3 is too wide; the common domain over p>1 is [0,π_q/2].","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies monotonicity and convexity/log-concavity in the parameters p and q of the two-parameter generalized trigonometric and hyperbolic functions. It states two new hypergeometric representations for the inverse generalized cosine and hyperbolic cosine (Lemma 1), derives necessary and sufficient conditions for concavity/log-concavity in parameters (Corollaries 1–4), proves concavity of sin_{p,q}(y) in each parameter for y in [0,1] (Theorem 3), claims log-convexity of sinh_{p,q}(y) in p for y in [0,pi_q] (Theorem 4) and log-concavity of tamh_{p',p}(y) in p (Theorem 2), and evaluates four parameter-dependent integrals in terms of generalized hypergeometric functions (Theorem 5 and Corollary 5). The paper is written in the conventional style, with explicit formulas and references to standard identities.","tokens_in":16797,"tokens_out":19831,"duration_ms":182783,"significance":"If correct, the convexity results would provide new parameter-dependent inequalities for these functions, a direction that the paper correctly identifies as underdeveloped. The hypergeometric representations in Lemma 1 and the integral evaluations in Section 3 are of independent interest and appear to be derived by standard, parameter-free methods from the integral definitions, with no fitted parameters or target-dependent assumptions. However, the proofs of Theorem 4 and Theorem 2 contain serious technical gaps and domain errors, so the central convexity claims for sinh_{p,q} and tamh_{p',p} are not established as written.","major_comments":[{"comment":"The derivative f_1'(x)-f_2'(x) is computed incorrectly. Writing μ(x)=∫_0^x log(1+t^q)/(1+t^q)^{1/p} dt and a(x)=q x^q/[p(1+x^q)], the functions in (35) satisfy f_1-f_2=(a-1)μ+x log(1+x^q)+2px/(1+x^q)^{1/p}. Differentiating gives (f_1-f_2)' = a'μ + (a-1)μ' + log(1+x^q) + qx^q/(1+x^q) + 2p/(1+x^q)^{1/p} - 2q x^q/(1+x^q)^{1+1/p}. The displayed formula in the proof retains only a'μ and replaces the remaining terms by [2p(1+x^q)-q x^q]/(1+x^q)^{1+1/p}, omitting (a-1)μ' + log(1+x^q) + qx^q/(1+x^q) - q x^q/(1+x^q)^{1+1/p}. These omitted terms do not cancel, so the conclusion f_1'>f_2' is not justified. The proof of log-convexity of p→sinh_{p,q}(y) therefore fails.","section":"Theorem 4, proof around Eq. (35)"},{"comment":"The common y-domain over p>1 is misstated. Since sinh_{p,q}(y) is defined on [0, π̂_{p,q}/2], the intersection ∩_{p>1}[0, π̂_{p,q}/2] is [0, π_q/2], not [0, π_q]. For y in (π_q/2, π_q], sinh_{p,q}(y) is undefined for p sufficiently close to 1 because π̂_{p,q}/2 converges to π_q/2 as p↓1. Both Theorem 4 and Corollary 3 must be restricted to y∈[0, π_q/2], and the proof must be reworked for that domain.","section":"Theorem 4 and Corollary 3"},{"comment":"The proof does not support the stated logarithmic concavity. Lemma 3 requires checking D_2<0 for log-concavity, but the proof verifies D_1<0, which is the sufficient condition for plain concavity, not for log-concavity. Moreover, the statement omits the y-range: for a fixed y, the function p→tamh_{p',p}(y) is not defined for all p>1 unless y belongs to an appropriate intersection of domains, and that intersection needs to be specified. As written, Theorem 2 is unproven.","section":"Theorem 2"}],"minor_comments":[{"comment":"The line 'inf_{p,q>1} π_{p,q} = inf_{p,q>1} π̂_{p,q} = 1' is incorrect; the infimum of the full periods is 2, and the relevant statement is that the half-periods are bounded below by 1. This appears to be a typo but should be corrected.","section":"Theorem 1 proof"},{"comment":"The claims that certain functions are 'generally speaking, not monotonic' rely on numerical examples and a promise of guaranteed-precision computation; no such rigorous computations are included. Either provide the computations or reformulate these claims as observations supported by numerical evidence.","section":"Theorem 1"},{"comment":"The text alternates between 'logarithmic convexity' and 'logarithmic concavity,' and the theorem statement says 'logarithmically concave' while the proof begins with 'To establish logarithmic convexity.' Please make the terminology consistent and aligned with the statement.","section":"Theorem 2 proof"},{"comment":"The notation 'sinr,q(y)' should read 'sin_{r,q}(y)' or otherwise be clarified, and the condition for the validity of the identity (which requires the parameter r>1) should be stated explicitly.","section":"Equation (18)"},{"comment":"The parameter restrictions inherited from Theorem 5 are not repeated in the statements of (41)–(44); adding a sentence specifying the ranges of α and β would improve readability.","section":"Corollary 5"},{"comment":"There are several typos: 'managed the prove' should be 'managed to prove' in the Abstract; 'the forgoing investigation' should be 'the following investigation' or 'the forthcoming investigation' in Section 2; and 'L'Hôpital' should be spelled consistently. A careful proofreading pass is needed.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"The Section 3 integral evaluations and Lemma 1 appear to be derived by standard techniques, but I did not independently verify every hypergeometric identity. The main obstruction to acceptance is the failure of Theorems 2 and 4 as proved: Theorem 4 has an incorrect derivative computation, and Theorem 2 checks the wrong sufficient condition and omits the domain. The authors should be asked to repair or remove these claims. If Theorem 4 is withdrawn, the paper's contribution would be significantly reduced, but Lemma 1 and Section 3 may still be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nShort take: this paper is worth reviewing, but the central log-convexity result, Theorem 4, is not proven as written. The stress-test note is right: the derivative of f1 - f2 in (35) is miscomputed. Differentiating f1 = q x^q/[p(1+x^q)] μ + x log(1+x^q) + 2px/(1+x^q)^{1/p} and f2 = μ leaves extra terms: (q x^q/[p(1+x^q)] - 1) log(1+x^q)/(1+x^q)^{1/p} plus log(1+x^q) + q x^q/(1+x^q) - q x^q/(1+x^q)^{1+1/p}. They don't cancel. So the positivity argument collapses; the log-convexity claim needs a new proof or a modified statement. The reader also caught the domain error: Theorem 4 and Corollary 3 claim y ∈ [0, π_q], but the common domain over p > 1 is [0, π_q/2], since sinh_{p,q} lives on [0, \\hatπ_{p,q}/2] and \\hatπ_{p,q} ↓ π_q as p ↓ 1. Both issues are real.\n\nWhat is genuinely new and works: Lemma 1's hypergeometric representations for arccos_{p,q} and arccosh_{p,q} look correct (the p=q=2 case checks out). Theorem 3, on concavity of p→sin_{p,q} and q→sin_{p,q} on [0,1], has an explicit, checkable proof; the monotone L'Hôpital step is sound. The four integral evaluations in Theorem 5 are ambitious and the derivations are written out in enough detail to verify. The paper is also honest: the abstract admits the results are incomplete, and the citations match the claims.\n\nSofter points, in proportion: Theorem 2 states log-concavity of p→tamh_{p',p} but omits the y-range; that's a presentation fix. The non-monotonicity claims in Theorem 1 rest on numerical evidence and a figure, with a promise of rigorous guaranteed-precision checks that isn't delivered; a referee should ask for the actual computations.\n\nBottom line: there is real content here, but the paper currently has a load-bearing gap in its flagship theorem. I'd send it to peer review, not desk reject: the flaws are identifiable and fixable, and the surrounding results are solid. Reading group: maybe, if you want a concrete example of why derivative identities in parameter-monotonicity arguments need careful checking.","headline":"Real new content with a load-bearing proof error in Theorem 4; worth reviewing, but the log-convexity claim is unproven as written.","tokens_in":17316,"tokens_out":9601,"would_cite":true,"duration_ms":78550,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33E30","33E20","26D07","33C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The two-parameter generalized sine is concave in each parameter at fixed argument, while the hyperbolic sine is log-convex in p.","keywords":["generalized trigonometric functions","generalized hyperbolic functions","(p,q)-Laplacian","log-convexity","log-concavity","integral representation","hypergeometric function","parameter monotonicity"],"falsifier":"Take $q=2$, so $\\pi_q=\\pi$, and choose $y=2.5$, which lies in $(\\pi/2,\\pi)$. Since $\\hat\\pi_{p,q}/2\\downarrow \\pi/2$ as $p\\downarrow 1$, for $p$ sufficiently close to $1$ the value $\\sinh_{p,q}(2.5)$ is undefined, directly falsifying the stated domain $[0,\\pi_q]$ of Theorem 4; the theorem can only hold on $[0,\\pi_q/2]$. A separate direct check of the log-convexity inequality at a few pairs $p_1,p_2$ and $\\lambda$ using high-precision quadrature of the defining integrals would test the inequality itself on the corrected domain.","tokens_in":16257,"feed_emoji":"📐","tokens_out":8085,"duration_ms":76702,"temperature":0.7,"pith_summary":"This paper studies the two-parameter generalized sine, cosine, tangent, and their hyperbolic counterparts—functions that invert integrals such as $\\arcsin_{p,q}(x)=\\int_0^x (1-t^q)^{-1/p}\\,dt$—as functions of the parameters $p$ and $q$ with the argument held fixed. Its central results are new parameter-dependent inequalities: for fixed $y\\in[0,1]$ and $q>1$, the map $p\\mapsto \\sin_{p,q}(y)$ is concave on $(1,\\infty)$, and the same holds for $q\\mapsto \\sin_{p,q}(y)$; for fixed $y$ and $q>1$, the map $p\\mapsto \\sinh_{p,q}(y)$ is logarithmically convex on $(1,\\infty)$. The paper also proves logarithmic concavity for $p\\mapsto \\operatorname{tamh}_{p',p}(y)$ and gives necessary and sufficient conditions for concavity or log-concavity in the cases where only monotonicity is established. These results matter because the two-parameter functions arise in eigenvalue problems for the $(p,q)$-Laplacian and in explicit solutions of nonlinear Schr\\\"odinger-type equations, where varying $p$ and $q$ changes the shape of the solutions. The paper also records two new hypergeometric representations for the inverse generalized cosine and hyperbolic cosine, and evaluates four integrals of inverse and four of direct generalized trigonometric and hyperbolic functions in terms of generalized hypergeometric functions.","feed_headline":"The p,q-sine is concave in each parameter","feed_subtitle":"New monotonicity and convexity laws for generalized trig functions, plus explicit hypergeometric integrals.","key_machinery":"The machinery is the integral representation of each inverse function as $y=f(x,p)=\\int_0^x \\varphi(t,p)\\,dt$ with a positive kernel $\\varphi$, combined with the inverse-function differentiation formulas (Lemma 2) that express $\\partial_p g$ and $\\partial_p^2 g$ in terms of $\\varphi$ and its $p$-derivatives. For each target function, the desired convexity or log-convexity inequality becomes the statement that a quadratic form in $z=\\int_0^x \\varphi'_p(t,p)\\,dt$ has a fixed sign; the proofs then control these forms using the monotone L'H\\^opital-type rule of Lemma 4. In the concrete cases the kernels are explicit: for $\\sin_{p,q}$ the kernel is $\\varphi(t,p)=(1-t^q)^{-1/p}$, and for $\\operatorname{tamh}_{p',p}$ it is $\\varphi(x,p)=(1-x^p)^{-2/p}$.","core_discovery":"The paper's central claim is that the generalized sine and hyperbolic sine, viewed as functions of their parameters at a fixed argument, obey parameter versions of concavity and log-convexity. Theorem 3 states that for each fixed $y\\in[0,1]$ and $q>1$, the function $p\\mapsto \\sin_{p,q}(y)$ is concave on $(1,\\infty)$, and symmetrically $q\\mapsto \\sin_{p,q}(y)$ is concave for fixed $p>1$. Theorem 4 states that for fixed $y\\in[0,\\pi_q]$ and $q>1$, the function $p\\mapsto \\sinh_{p,q}(y)$ is log-convex on $(1,\\infty)$, where $\\pi_q=2\\pi/(q\\sin(\\pi/q))$ is the limiting half-period as $p\\downarrow 1$. Theorem 2 adds that $p\\mapsto \\operatorname{tamh}_{p',p}(y)$, the inverse of $\\int_0^x (1-t^p)^{-2/p}\\,dt$, is logarithmically concave. The proof route is: write the inverse function as an integral, differentiate with respect to the parameter using the inverse-function formulas of Lemma 2, reduce the target inequality to the nonnegativity or nonpositivity of a quadratic form in an auxiliary integral, and verify that form by monotone L'H\\^opital-type ratio comparisons.","pith_inferences":["The stated domain in Theorem 4 is wider than the common domain of definition: for $y\\in(\\pi_q/2,\\pi_q)$, the value $\\sinh_{p,q}(y)$ is undefined for $p$ sufficiently close to $1$, so the theorem as stated needs the restriction $y\\in[0,\\pi_q/2]$; the log-convexity claim itself should survive on the corrected interval.","The same inverse-function quadratic-form machinery could plausibly be applied to kernels of the form $(1\\pm t^q)^{-a}$ for other exponents $a$, yielding parameter convexity for a wider family of generalized inverse functions; the paper does not pursue this extension.","The explicit integral evaluations provide closed forms for weighted moments of the inverse functions over the $q$-circle, which could be used in numerical quadrature for $(p,q)$-Laplacian eigenvalue problems or in error estimates for basis approximations by $\\sin_{p,q}$ functions."],"forward_implications":["Concavity of $p\\mapsto \\sin_{p,q}(y)$ yields parameter-interpolation inequalities such as $\\sin_{\\lambda p_1+(1-\\lambda)p_2,q}(y)\\ge \\lambda\\sin_{p_1,q}(y)+(1-\\lambda)\\sin_{p_2,q}(y)$ for $\\lambda\\in[0,1]$, and similarly for the second parameter.","Log-convexity of $p\\mapsto \\sinh_{p,q}(y)$ yields the geometric-mean bound $\\sinh_{\\lambda p_1+(1-\\lambda)p_2,q}(y)\\le [\\sinh_{p_1,q}(y)]^\\lambda[\\sinh_{p_2,q}(y)]^{1-\\lambda}$.","The necessary and sufficient conditions in Corollaries 1--4 give explicit sign criteria that determine when strict concavity or strict log-convexity holds in parameters, not just convexity.","The new hypergeometric representations for $\\arccos_{p,q}$ and $\\arccosh_{p,q}$ provide computable closed forms for these inverse functions, which can make numerical evaluation of the direct functions more efficient.","The four integral evaluations give closed forms for weighted averages of the inverse generalized trigonometric and hyperbolic functions, extending the single-parameter evaluations previously known."],"supporting_citations":[{"why":"Defines the two-parameter sine as the inverse of $\\int_0^x (1-t^q)^{-1/p}\\,dt$, the object whose parameter concavity is proved.","marker":"[6]"},{"why":"Supplies Lemma 2, the inverse-function differentiation formulas used throughout to reduce parameter convexity to signs of quadratic forms.","marker":"[10]"},{"why":"Provides the monotone L'H\\^opital-type rule used in Theorem 3 to compare the auxiliary integral ratios that control the quadratic forms.","marker":"[20]"},{"why":"Establishes the duality between the generalized tangent and hyperbolic sine that underlies the integral representation used for the tangent-type functions.","marker":"[17]"},{"why":"Provides the duality between the generalized hyperbolic tangent and the generalized sine used to derive the representation of the inverse hyperbolic tangent.","marker":"[18]"},{"why":"Introduces the two-parameter tangent-type functions and the representation of $\\arctan_{p',p}$ on which Theorem 2 is based.","marker":"[22]"},{"why":"Derives the arccosine integral representation used in Lemma 1 and in the integral evaluations of Section 3.","marker":"[2]"},{"why":"Supplies the hypergeometric identities, connection formulas, and Euler integral representations used to prove Lemma 1 and Theorem 5.","marker":"[1]"}],"fun_headline_variants":["Generalized sine's parameter concavity, sinh's log-convexity","New concavity and log-convexity laws for generalized trig functions","Hypergeometric integrals from parameter-dependent trig functions","Two-parameter trig functions: parameter concavity and log-convexity","Parameter monotonicity and convexity for two-parameter trig functions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proofs assume the functions are defined and smoothly invertible on the full parameter and argument intervals they state; for the hyperbolic sine, the common domain over all $p>1$ is actually $[0,\\pi_q/2]$, not the full $[0,\\pi_q]$ used in Theorem 4.","fun_headline_variants_meta":{"raw":{"variants":["Generalized sine's parameter concavity, sinh's log-convexity","New concavity and log-convexity laws for generalized trig functions","Hypergeometric integrals from parameter-dependent trig functions","Two-parameter trig functions: parameter concavity and log-convexity","Parameter monotonicity and convexity for two-parameter trig functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001511,"raw_usage":{"total_tokens":6076,"prompt_tokens":981,"completion_tokens":5095,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":597,"completion_tokens_details":{"reasoning_tokens":5003}},"tokens_in":597,"tokens_out":5095,"duration_ms":35675,"temperature":1.0,"reasoning_tokens":5003,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:27:10.360818+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $q=2$, so $\\pi_q=\\pi$, and choose $y=2.5$, which lies in $(\\pi/2,\\pi)$. Since $\\hat\\pi_{p,q}/2\\downarrow \\pi/2$ as $p\\downarrow 1$, for $p$ sufficiently close to $1$ the value $\\sinh_{p,q}(2.5)$ is undefined, directly falsifying the stated domain $[0,\\pi_q]$ of Theorem 4; the theorem can only hold on $[0,\\pi_q/2]$. A separate direct check of the log-convexity inequality at a few pairs $p_1,p_2$ and $\\lambda$ using high-precision quadrature of the defining integrals would test the inequality itself on the corrected domain.","supporting_citations":[{"cited_title":"On the closed solution to some nonhomogeneous eigenvalue problems with p-Laplacian","cited_arxiv_id":null,"evidence_quote":"Defines the two-parameter sine as the inverse of $\\int_0^x (1-t^q)^{-1/p}\\,dt$, the object whose parameter concavity is proved."},{"cited_title":"Parameter convexity and concavity of generalized trigono- metric functions","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2, the inverse-function differentiation formulas used throughout to reduce parameter convexity to signs of quadratic forms."},{"cited_title":"L’Hospital type rules for monotonicity","cited_arxiv_id":null,"evidence_quote":"Provides the monotone L'H\\^opital-type rule used in Theorem 3 to compare the auxiliary integral ratios that control the quadratic forms."},{"cited_title":"Applications of a duality between generalized trigonometric and hyperbolic functions","cited_arxiv_id":null,"evidence_quote":"Establishes the duality between the generalized tangent and hyperbolic sine that underlies the integral representation used for the tangent-type functions."},{"cited_title":"Applications of a duality between generalized trigonometric and hyperbolic functions II","cited_arxiv_id":null,"evidence_quote":"Provides the duality between the generalized hyperbolic tangent and the generalized sine used to derive the representation of the inverse hyperbolic tangent."},{"cited_title":"Multiple-angle formulas of generalized trigonometric functions with two parameters","cited_arxiv_id":null,"evidence_quote":"Introduces the two-parameter tangent-type functions and the representation of $\\arctan_{p',p}$ on which Theorem 2 is based."},{"cited_title":"Convexity properties of generalized trigonometric and hyperbolic functions","cited_arxiv_id":null,"evidence_quote":"Derives the arccosine integral representation used in Lemma 1 and in the integral evaluations of Section 3."},{"cited_title":"Special Functions; Cambridge University Press: Cambridge, UK, 1999","cited_arxiv_id":null,"evidence_quote":"Supplies the hypergeometric identities, connection formulas, and Euler integral representations used to prove Lemma 1 and Theorem 5."}],"review_version":1}