Pith. sign in

REVIEW 1 major objections 4 minor 54 references

The Friedrichs extension of a class of discrete symplectic systems

T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For discrete symplectic systems, the Friedrichs extension is fixed by a zero initial block and recessive-solution limits at infinity.

desk verdict A genuinely new extension of the Friedrichs-extension characterization to discrete symplectic systems, with a solid but slightly under-explained proof; worth a careful referee, not a desk reject. read the letter →

arxiv 2412.16096 v1 pith:3MZXFS6W submitted 2024-12-20 math.SP

Petr Zemánek This is my paper · ORCID
classification math.SP MSC 47A0647A2047B3939A0639A12
keywords discretesymplecticsystemFriedrichsextensionminimallinearrelationrecessivesolutionspectralparameterself-adjointlimitpointandcirclecase
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to pin down the Friedrichs extension—the distinguished self-adjoint extension of a semibounded minimal linear relation that has the same lower bound—for a broad class of discrete symplectic systems with linear dependence on the spectral parameter. It proves that the extension consists exactly of those maximal-relation pairs whose first $n$ components vanish at the initial point and for which $d-n$ limits at infinity, formed against the columns of a recessive solution, vanish, where $d$ is the number of linearly independent square-summable solutions. This mirrors, in the discrete symplectic setting, the classical role of principal and recessive solutions in singular differential-operator theory, and it unifies earlier treatments of banded difference matrices and Hamiltonian difference systems. The payoff is explicit boundary conditions for the Friedrichs extension without assuming a particular limit-point or limit-circle case.

What carries the argument

The machinery revolves around the recessive solution of the homogeneous system $(S_\lambda)$, the discrete counterpart of a principal solution at a singular endpoint. It is a conjoined basis $\tilde Z(\lambda) = (\tilde X(\lambda); \tilde U(\lambda))$ whose $n\times n$ block $\tilde X_k(\lambda)$ is eventually nonsingular and which is dominated by every other normalized conjoined basis: $X_k^{-1}(\lambda)\tilde X_k(\lambda)\to 0$ as $k\to\infty$, equivalently the accumulated sum $\sum_j (-\tilde X_j^{-1}(\lambda)B_j\tilde X_{j+1}^{*-1}(\lambda))$ diverges in the sense that its smallest eigenvalue tends to infinity. This object carries the argument because its columns are shown to be square-summable and to belong to the domain of the Friedrichs extension, and because the limits $z_k^* J \tilde z_k^{[i_j]}(\lambda)$ are exactly the boundary functionals that the self-adjoint-extension theorem needs. The remaining ingredients—disconjugacy, eventual controllability, and the definiteness condition—guarantee that such a recessive solution exists and that the minimal relation is bounded below.

What would settle it

Compute the relation $U$ of (3.2) for a concrete system satisfying Hypothesis 2.6 with $(S_\nu)$ disconjugate on $[0,\infty)_\mathbb{Z}$ but not eventually controllable—for instance, one with $B_k=0$ on a finite interval so that the $x$-part can vanish there—and compare it with the Friedrichs extension obtained through the abstract limit characterization (2.2). If the two sets differ, or if $U$ is not well defined because the recessive solution's $X$-block is not eventually invertible, the theorem's eventual-controllability hypothesis is essential.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 3.4: under the definiteness hypothesis (Hypothesis 2.6), if $\nu \in \mathbb{R}$ is such that system $(S_\nu)$ is disconjugate on $[0,\infty)_\mathbb{Z}$ and eventually controllable, then for any $\lambda < \nu$ the Friedrichs extension $T_F$ of the minimal linear relation $T_{\min}$ is $$T_F = \{ \{z,f\} \in T_{\max} \mid x_0 = 0 \text{ and } \lim_{k\to\infty} z_k^* J \tilde $z_k^{{[i_j]}}$(\$\lambda$) = 0 \text{ for } j=1,\ldots,d-n \},$$ where $x_0$ is the first $n$-vector block of $z$ at $k=0$, $d$ is the number of linearly independent square-summable solutions, and $\tilde z^{[i_j]}(\lambda)$ are $d-n$ selected columns of a recessive solution of $(S_\lambda)$. The proof shows these columns are square summable and lie in the domain of $T_F$, then uses the general self-adjoint-extension description to show that the relation $U$ defined by these conditions is self-adjoint and contains $T_F$. In the limit point case $d=n$ this reduces to $T_F = \{ \{z,f\} \in T_{\max} \mid x_0 = 0 \}$, and in the limit circle case $d=2n$ exactly $n$ conditions at infinity are needed.

Load-bearing premise

The load-bearing assumption is that, far enough along the half-line, the system is eventually controllable: no nontrivial solution can have its first $n$ components vanish over an entire finite interval, which is what makes the leading $n\times n$ block of every conjoined basis eventually invertible and secures a recessive solution; disconjugacy alone does not imply this, and it can fail when the matrices $B_k$ are singular.

Editorial extensions

If this is right

  • Explicit boundary conditions: once a recessive solution of $(S_\lambda)$ is known for any $\lambda<\nu$, the Friedrichs extension is determined by $x_0=0$ and $d-n$ limits at infinity.
  • In the limit point case $d=n$, the condition at infinity disappears and $T_F$ is simply $\{\{z,f\}\in T_{\max}: x_0=0\}$.
  • In the limit circle case $d=2n$, exactly $n$ conditions at infinity involving all columns of the recessive solution are needed, matching the $n$ initial conditions.
  • The same boundary description holds for every $\lambda<\nu$, so the recessive solutions at different spectral parameters define the same extension.
  • Because $T_{\min}$ is bounded below whenever $(S_\nu)$ is disconjugate and eventually controllable, the theorem also gives a uniform semiboundedness and self-adjoint-extension picture for a continuum of spectral parameters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable weakening is to replace eventual controllability by the explicit requirement that $X_k(\lambda)$ is eventually invertible for the specific recessive solution; if that alone suffices, the controllability hypothesis is stronger than needed.
  • The selection of the indices $i_1,\ldots,i_{d-n}$ in (3.3) is noncanonical; a stable numerical recipe for choosing them, and a check that the resulting limits do not depend on that choice, would make the characterization directly computable.
  • Remark 3.5(ii) flags the square summability of recessive columns as a topic for further study; if it holds for all nonoscillatory eventually controllable systems, the same boundary-formula method could extend beyond the block-weight setting treated here.
  • Finite-truncation experiments with Dirichlet conditions should approximate the same recessive-solution limits as the interval grows, offering a concrete numerical check of the identity $T_F=U$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. This paper studies the Friedrichs extension of the minimal linear relation associated with a discrete symplectic system with a special linear dependence on the spectral parameter, under the strong Atkinson condition and a disconjugacy/eventual-controllability hypothesis. The main result (Theorem 3.4) characterizes the domain of the Friedrichs extension T_F as the set of pairs in T_max satisfying a Dirichlet condition at 0 and a finite number (d-n) of limit conditions at infinity determined by a recessive solution of the system. The proof is organized into three lemmas: Lemma 3.1 shows x_0=0 for all elements of T_F, Lemma 3.2 establishes square summability and membership in dom T_F for columns of the recessive solution, and Lemma 3.3 shows that the boundary-condition relation U is a self-adjoint extension; Theorem 2.10 is then used to identify U with T_F. The paper generalizes prior results for Jacobi operators, even-order Sturm-Liouville difference equations, and linear Hamiltonian difference systems to a broader discrete symplectic framework.

Significance. If the proof gap discussed below is repaired, the paper is a valuable contribution: it extends the known characterizations of Friedrichs extensions to a general class of discrete symplectic systems with linear spectral parameter dependence, covering limit point and limit circle cases uniformly. The main theorem gives explicit, checkable boundary conditions and the proof is clearly structured with detailed computations. The paper also acknowledges prior work, and the central result is a natural generalization rather than a dramatic departure. The principal weakness is an incomplete construction in Lemma 3.2 that appears repairable; once fixed, the results should be of interest to researchers in spectral theory and difference equations.

major comments (1)
  1. [§3, Lemma 3.2, Step 1] The dominant solution is defined via the matrix sequence Λ_k = Σ_{j=0}^{k-1} -~X_j^{-1}(λ) B_j ~X_{j+1}^{*-1}(λ), and the related expressions for X̂_k and Û_k require ~X_j(λ) to be invertible for every j in the range of the sum. However, the assumptions of the lemma (disconjugacy on [0,∞)_Z and eventual controllability) only guarantee invertibility of ~X_j(λ) for all sufficiently large j, as stated in Section 2 before Theorem 2.5; they do not preclude ~X_0(λ) being singular. Consequently, Λ_k and the associated dominant solution are not well-defined on the initial segment of the half-line, and the approximating sequence Z^{[m]} used in Step 1 is not defined for all k. This issue is load-bearing because the subsequent application of the Patching lemma and the convergence argument in Step 3 establish the square summability of the recessive solution, which is essential for Lemma 3.3 and Theorem 3.4. The gap appears repairable by starting the sum at a sufficiently large index k_0, defining the dominant solution on [k_0,∞), and extending it to [0,k_0) via the backward recursion (possible since S_k(λ) is invertible), but as written the proof is incomplete.
minor comments (4)
  1. [§2, Theorem 2.5] Theorem 2.5 is stated without proof and is used as a black box in Corollary 2.8 and Lemma 3.2. Since it is central to the eigenvalue characterization of the recessive solution, please include a proof or give a precise theorem number and a summary of the argument from the cited sources.
  2. [§3, Lemma 3.2] Lemma 3.2 is stated for all λ ≤ ν, but the proof of the Cauchy property in Step 3 relies on the inequality ⟨f,z⟩ ≥ (c−λ)⟨z,z⟩ with c−λ > 0, which the proof of Theorem 2.9 only guarantees for λ < ν. If λ = ν is to be included, a separate argument is needed; the main theorem only uses λ < ν, so this is not a fatal issue.
  3. [§3, Lemma 3.2, Step 2] The 'Patching lemma' from [48, Lemma 3.1] is invoked without a statement; a brief statement of the lemma or a description of how it applies to the truncated sequences would improve readability.
  4. [§1, equation (1.3)] Equation (1.3) contains a minor typographical issue: 'z0 = 0 = lim ... for all rws P dom Tmax' should probably read 'z0 = 0 and lim ... = 0 for all rws P dom Tmax' to avoid ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Friedrichs-extension characterization is derived from recessive-solution theory and prior independent self-adjoint-extension results, not from fitting or self-referential assumptions.

full rationale

The central derivation is not circular. Theorem 3.4 is proved via three lemmas: Lemma 3.1 derives x0 = 0 for elements of TF directly from the Freudenthal-type characterization (2.2); Lemma 3.2 constructs approximating sequences in T0 - lambda I and verifies the convergence conditions in (2.2) using the definition of a recessive solution together with Theorem 2.5; and Lemma 3.3 shows that the linear relation U is a self-adjoint extension of Tmin by applying the independently established parameterization of self-adjoint extensions cited from [48, Theorem 3.3 and Remark 3.4] and constructing the corresponding matrices M and L. The final inclusion TF subset U and the self-adjointness of U then force equality. The prior results cited from [48], [10], and [49] are self-citations, but they are parameter-free published theorems whose assumptions do not contain the present conclusion; they supply general tools (self-adjoint extension parameterization, patching lemma, and square-summability structure) rather than the target boundary conditions. No parameter is fitted and no prediction is merely renamed from an input. The boundary conditions in (3.2) are derived from the recessive solution and verified by construction, not assumed as the conclusion. Two non-circular gaps deserve note: Lemma 3.2 defines Lambda_k as a sum starting at j = 0 although invertibility of ~X_j is only guaranteed eventually, and Theorem 2.5 is stated with its proof omitted and referred to [12, Theorem 3.1] and [13, Theorem 2.66]. These are correctness and completeness concerns, not circularity. Remark 3.5(ii) also flags square summability of recessive solutions as future research, but this does not make the main argument circular. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No numerical constants were fitted. The derivation rests on qualitative structural assumptions: positivity of W_k, the strong Atkinson definiteness condition, and the existence of a real nu for which the system is disconjugate and eventually controllable. The proof imports standard tools from [10,12,13,48,49], including the unproved Theorem 2.5.

assumptions (7)
  • domain assumption S_k is J-symplectic and W_k = W_k^* > 0 with block structure (1.5).
    Hypothesis 2.2 defines the class; positivity makes the semi-inner product a norm on equivalence classes and is used at k=0 in Lemma 3.1.
  • domain assumption Strong Atkinson (definiteness) condition, Hypothesis 2.6.
    Ensures Tmin^* = Tmax and a unique representative for each class; used in Theorem 2.9 and in Lemmas 3.1 and 3.2.
  • domain assumption There exists nu in R such that (S_nu) is disconjugate on [0,infinity)_Z and eventually controllable.
    This is the main hypothesis of Theorem 3.4; it guarantees a recessive solution and boundedness from below via Theorem 2.5 and Theorem 2.9.
  • standard math Time-reversed recessive solution theorem, Theorem 2.5, from [12,13].
    Stated without proof; supplies existence and the characterization lim lambda_min(Lambda_k) = infinity on which Lemma 3.2 depends.
  • standard math Self-adjoint extension parametrization [48, Theorem 3.3, Remark 3.4] and Patching lemma [48, Lemma 3.1].
    Used in Lemma 3.2 to move local pairs into T0 and in Lemma 3.3 to construct the boundary matrices M and L.
  • standard math Equality of deficiency indices and square-summable solution counts under definiteness, from [10, Corollary 5.12] and [6, Propositions 1.4.6 and 5.5.8].
    Used to identify d and to assert that S_lambda has d square summable solutions for lambda < nu in Lemma 3.3.
  • standard math Wronskian-type identity Theta_k^* J Theta_k is constant, from [49, Identity (3.4)].
    Used in Lemma 3.3 to evaluate the matrix Upsilon at m instead of at 0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Friedrichs extension of a class of discrete symplectic systems." pith.science (2026). https://pith.science/paper/3MZXFS6W

@misc{pith2026241216096,
  author       = {Pith},
  title        = {Pith review of: The Friedrichs extension of a class of discrete symplectic systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3MZXFS6W}},
  note         = {Machine review of arXiv:2412.16096}
}
read the original abstract

The Friedrichs extension of minimal linear relation being bounded below and associated with the discrete symplectic system with a special linear dependence on the spectral parameter is characterized by using recessive solutions. This generalizes a similar result obtained by Do\v{s}l\'y and Hasil for linear operators defined by infinite banded matrices corresponding to even-order Sturm--Liouville difference equations and, in a certain sense, also results of Marletta and Zettl or \v{S}imon Hilscher and Zem\'anek for singular differential operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 48 canonical work pages

  1. [1]

    Special Edition I

    G. M. Ballard and J. V . Baxley, The Friedrichs extension of certain singular differential op- erators II, in “Special Edition I”, Electron. J. Qual. Theory Differ. E qu. (2009), no. 5, 11 pp. (electronic)

    work page 2009

  2. [2]

    Q. Bao, G. Wei, and A. Zettl, Characterization of symmetric operators and their Friedri chs extension for singular Sturm–Liouville problems , J. Math. Anal. Appl. 512 (2022), no. 1, Paper No. 126122, 26

    work page 2022

  3. [3]

    Q. Bao, G. Wei, and A. Zettl, The Friedrichs extension of regular symmetric differentia l opera- tors, Oper. Matrices 16 (2022), no. 1, 213–237

    work page 2022

  4. [4]

    Q. Bao, G. Wei, and A. Zettl, Friedrichs extension of singular symmetric differential o perators, Electron. J. Differential Equations (2023), no. 3 (Special Issue 02), 11–39

    work page 2023

  5. [5]

    J. V . Baxley, The Friedrichs extension of certain singular differential operators, Duke Math. J. 35 (1968), 455–462

    work page 1968

  6. [6]

    Behrndt, S

    J. Behrndt, S. Hassi, and H. S. V . de Snoo, Boundary V alue Problems, Weyl Functions, and Differential Operators, Monographs in Mathematics, V ol. 108, Birkhäuser, Cham, 20 20. ISBN 978-3-030-36713-8; 978-3-030-36714-5

  7. [7]

    Benammar and W

    M. Benammar and W. D. Evans, On the Friedrichs extension of semi-bounded difference ope ra- tors, Math. Proc. Cambridge Philos. Soc. 116 (1994), no. 1, 167–177

    work page 1994

  8. [8]

    B. M. Brown and J. S. Christiansen, On the Krein and Friedrichs extensions of a positive Jacobi operator, Expo. Math. 23 (2005), no. 2, 179–186

    work page 2005

Show all 54 references
  1. [9]

    S. L. Clark and P . Zemánek, On a Weyl–Titchmarsh theory for discrete symplectic system s on a half line, Appl. Math. Comput. 217 (2010), no. 7, 2952–2976

    2010

  2. [10]

    S. L. Clark and P . Zemánek, On discrete symplectic systems: Associated maximal and min imal linear relations and nonhomogeneous problems , J. Math. Anal. Appl. 421 (2015), no. 1, 779– 805

    2015

  3. [11]

    E. A. Coddington, Extension Theory of F ormally Normal and Symmetric Subspace s, Memoirs of the American Mathematical Society, V ol. 134, American Ma thematical Society, Providence, 1973

    1973

  4. [12]

    Proceedings of the Sixth Colloquium on the Qualitative T heory of Differential Equations (Szeged, Hungary, 1999)

    O. Došlý, Principal and nonprincipal solutions of symplectic dynami c systems on time scales , in “Proceedings of the Sixth Colloquium on the Qualitative T heory of Differential Equations (Szeged, Hungary, 1999)”, Electron. J. Qual. Theory Differ . Equ. 5 (2000), 14 pp. (electronic)

    2000

  5. [13]

    Došlý, J

    O. Došlý, J. Elyseeva, and R. Šimon Hilscher, Symplectic Difference Systems: Oscillation and Spectral Theory, Pathways in Mathematics, Birkhäuser/Springer, Cham, 2019. ISBN 978-3-030- 19372-0; 978-3-030-19373-7

    2019

  6. [14]

    Došlý and P

    O. Došlý and P . Hasil, Friedrichs extension of operators defined by symmetric band ed matrices, Linear Algebra Appl. 430 (2009), no. 8-9, 1966–1975. – 16 – REFERENCES

    2009

  7. [15]

    Freudenthal, Über die Friedrichssche F ortsetzung halbbeschränkter Her mitescher Opera- toren (in German), Proc

    H. Freudenthal, Über die Friedrichssche F ortsetzung halbbeschränkter Her mitescher Opera- toren (in German), Proc. Akad. Wet. Amsterdam 39 (1936), 832–833

    1936

  8. [16]

    K. O. Friedrichs, Spektraltheorie halbbeschränkter Operatoren und Anwendu ng auf die Spek- tralzerlegung von Differentialoperatoren (in German), Math. Ann. 109 (1934), no. 1, 465–487

    1934

  9. [17]

    K. O. Friedrichs, Über die ausgezeichnete Randbedingung in der Spektraltheo rie der halbbeschränkten gewöhnlichen Differentialoperatoren z weiter Ordnung (in German), Math. Ann. 112 (1936), no. 1, 1–23

    1936

  10. [18]

    Gesztesy and Z

    F. Gesztesy and Z. Zhao, Critical and subcritical Jacobi operators defined as Friedr ichs exten- sions, J. Differential Equations 103 (1993), no. 1, 68–93

    1993

  11. [19]

    Contributions to Management Science, Mathematics and M odellin:. Essays in Honour of Professor Ilkka Virtanen

    S. Hassi, On the Friedrichs and the Kre ˘ın–von Neumann extension of nonnegative relations , in “Contributions to Management Science, Mathematics and M odellin:. Essays in Honour of Professor Ilkka Virtanen”, M. Laaksonen and S. Pynnönen (ed itors), Acta Wasaensia, V ol. 122, ...

    2004

  12. [20]

    Hassi, M

    S. Hassi, M. Kaltenbäck, and H. S. V . de Snoo, Triplets of Hilbert spaces and Friedrichs exten- sions associated with the subclass N1 of Nevanlinna functions , J. Operator Theory 37 (1997), no. 1, 155–181

    1997

  13. [21]

    Hassi, A

    S. Hassi, A. Sandovici, H. S. V . de Snoo, and H. Winkler, A general factorization approach to the extension theory of nonnegative operators and relations, J. Operator Theory 58 (2007), no. 2, 351–386

    2007

  14. [22]

    Kalf, A characterization of the Friedrichs extension of Sturm–Li ouville operators, J

    H. Kalf, A characterization of the Friedrichs extension of Sturm–Li ouville operators, J. London Math. Soc. (2) 17 (1978), no. 3, 511–521

    1978

  15. [23]

    H. G. Kaper, M. K. Kwong, and A. Zettl, Characterizations of the Friedrichs extensions of singular Sturm–Liouville expressions , SIAM J. Math. Anal. 17 (1986), no. 4, 772–777

    1986

  16. [24]

    Marletta and A

    M. Marletta and A. Zettl, The Friedrichs extension of singular differential operato rs, J. Differ- ential Equations 160 (2000), no. 2, 404–421

    2000

  17. [25]

    M. A. Na ˘ımark, Linear Differential Operators, Part II: Linear Differenti al Operators in Hilbert Space, with additional material by the author, and a supplement by V . E. Lyantse, translated from the Russian by E. R. Dawson, English translation edited by W. N. Everitt, Georg...

    1968

  18. [26]

    Niessen and A

    H.-D. Niessen and A. Zettl, The Friedrichs extension of regular ordinary differential operators, Proc. Roy. Soc. Edinburgh Sect. A 114 (1990), no. 3-4, 229–236

    1990

  19. [27]

    Niessen and A

    H.-D. Niessen and A. Zettl, Singular Sturm–Liouville problems: The Friedrichs extens ion and comparison of eigenvalues, Proc. London Math. Soc. (3) 64 (1992), no. 3, 545–578

    1992

  20. [28]

    Rellich, Halbbeschränkte gewöhnliche Differentialoperatoren zweiter Ordnung (in German), Math

    F. Rellich, Halbbeschränkte gewöhnliche Differentialoperatoren zweiter Ordnung (in German), Math. Ann. 122 (1951), no. 5, 343–368. P. Z EMÁNEK : F RIEDRICHS EXTENSION AND DISCRETE SYMPLECTIC SYSTEMS – 17 –

    1951

  21. [29]

    Ren and G

    G. Ren and G. Xu, Friedrichs extensions for a class of singular discrete line ar Hamiltonian systems, arXiv, https://arxiv.org/abs/2311.08665, 2023

    2023 arXiv

  22. [30]

    Contributions to Mathematics and Statistics: Essays i n honor of Seppo Hassi

    Z. Sebestyén and Z. Tarcsay, On the Krein–von Neumann and Friedrichs extension of positi ve operators, in “Contributions to Mathematics and Statistics: Essays i n honor of Seppo Hassi”, H. S. V . de Snoo and H. L. Wietsma (editors), pp. 165–178, Univ ersity of V aasa, V aasa, 2021

    2021

  23. [31]

    Šepitka and R

    P . Šepitka and R. Šimon Hilscher, Recessive solutions for nonoscillatory discrete symplect ic systems, Linear Algebra Appl. 469 (2015), 243–275

    2015

  24. [32]

    Šepitka and R

    P . Šepitka and R. Šimon Hilscher, Dominant and recessive solutions at infinity and genera of conjoined bases for discrete symplectic systems , J. Difference Equ. Appl. 23 (2017), 657–698

    2017

  25. [33]

    Equadiff 12

    R. Šimon Hilscher and P . Zemánek, Friedrichs extension of operators defined by linear Hamil- tonian systems on unbounded interval , in “Equadiff 12”, Proceedings of the Conference on Differential Equations and their Applications (Brno, 2009 ), J. Diblík, O. Došlý, P . Drábek, ...

    2010

  26. [34]

    Proceedings of The 9’th Colloquium on the Qualitative T heory of Differential Equations

    R. Šimon Hilscher and P . Zemánek, New results for time reversed symplectic dynamic systems and quadratic functionals, in “Proceedings of The 9’th Colloquium on the Qualitative T heory of Differential Equations” (Szeged, 2011), L. Hatvani, T. Kri sztin, and R. V ajda (editors)...

    2012

  27. [35]

    Šimon Hilscher and P

    R. Šimon Hilscher and P . Zemánek, Weyl disks and square summable solutions for discrete symplectic systems with jointly varying endpoints , Adv. Difference Equ. 2013 (2013), no. 232, 18 pp. (electronic)

    2013

  28. [36]

    Theory and Applications of Difference Equations and Discrete Dynamical Systems

    R. Šimon Hilscher and P . Zemánek, Generalized Lagrange identity for discrete symplectic sys - tems and applications in Weyl–Titchmarsh theory , in “Theory and Applications of Difference Equations and Discrete Dynamical Systems”, Proceedings of the 19th International Confer- e...

    2014

  29. [37]

    Šimon Hilscher and P

    R. Šimon Hilscher and P . Zemánek, Weyl–Titchmarsh theory for discrete symplectic systems with general linear dependence on spectral parameter, J. Difference Equ. Appl. 20 (2014), no. 1, 84– 117

    2014

  30. [38]

    Šimon Hilscher and P

    R. Šimon Hilscher and P . Zemánek, Limit circle invariance for two differential systems on tim e scales, Math. Nachr. 288 (2015), no. 5-6, 696–709

    2015

  31. [39]

    Stempak, Spectral properties of ordinary differential operators admitting special decomposi- tions, Commun

    K. Stempak, Spectral properties of ordinary differential operators admitting special decomposi- tions, Commun. Pure Appl. Anal. 20 (2021), no. 5, 1961–1986

    2021

  32. [40]

    Stempak, Spectral properties of differential-difference symmetri zed operators , Mediterr

    K. Stempak, Spectral properties of differential-difference symmetri zed operators , Mediterr. J. Math. 20 (2023), no. 3, Paper No. 177, 22

    2023

  33. [41]

    O. G. Storozh, On an approach to the construction of the Friedrichs and Neum ann–Krein exten- sions of nonnegative linear relations , Carpathian Math. Publ. 10 (2018), no. 2, 387–394. – 18 – REFERENCES

    2018

  34. [42]

    von Neumann, Allgemeine Eigenwerttheorie Hermitescher Funktionalope ratoren (in Ger- man), Math

    J. von Neumann, Allgemeine Eigenwerttheorie Hermitescher Funktionalope ratoren (in Ger- man), Math. Ann. 102 (1929), no. 1, 49–131

    1929

  35. [43]

    Šimon Hilscher and P

    R. Šimon Hilscher and P . Zemánek, On square integrable solutions and principal and antiprin- cipal solutions for linear Hamiltonian systems , Ann. Mat. Pura Appl. (4) 197 (2018), no. 1, 283–306

    2018

  36. [44]

    Y ang and H

    C. Y ang and H. Sun, Friedrichs extensions of a class of singular Hamiltonian sy stems, J. Differ- ential Equations 293 (2021), 359–391

    2021

  37. [45]

    S. Y ao, J. Sun, and A. Zettl, The Sturm–Liouville Friedrichs extension , Appl. Math. 60 (2015), no. 3, 299–320

    2015

  38. [46]

    Dynamic Equations on Time Scales and Applications

    P . Zemánek, Krein–von Neumann and Friedrichs extensions for second ord er operators on time scales, in “Dynamic Equations on Time Scales and Applications” (L. H. Erbe and A. C. Peterson, editors), Int. J. Dyn. Syst. Differ. Equ. 3 (2011), no. 1-2, 132–144

    2011

  39. [47]

    Zemánek, Non-limit-circle and limit-point criteria for symplectic and linear Hamiltonian sys- tems, Math

    P . Zemánek, Non-limit-circle and limit-point criteria for symplectic and linear Hamiltonian sys- tems, Math. Nachr. 296 (2023), no. 1, 434–459

    2023

  40. [48]

    Zemánek and S

    P . Zemánek and S. L. Clark, Characterization of self-adjoint extensions for discrete symplectic systems, J. Math. Anal. Appl. 440 (2016), no. 1, 323–350

    2016

  41. [49]

    Zemánek and S

    P . Zemánek and S. L. Clark, Discrete symplectic systems, boundary triplets, and self- adjoint extensions, Dissertationes Math. (Rozprawy Mat.) 579 (2022), 1–87 pp. (electronic)

    2022

  42. [50]

    Zemánek and P

    P . Zemánek and P . Hasil,Friedrichs extension of operators defined by Sturm–Liouvil le equations of higher order on time scales , Appl. Math. Comput. 218 (2012), no. 22, 10829–10842

    2012

  43. [51]

    Zhang, H

    S. Zhang, H. Sun, and C. Y ang, Friedrichs extensions of a class of discrete Hamiltonian sy stems with one singular endpoint , Math. Nachr. 296 (2023), no. 9, 4169–4191

    2023

  44. [52]

    Zheng and Q

    Z. Zheng and Q. Kong, Friedrichs extensions for singular Hamiltonian operators with interme- diate deficiency indices , J. Math. Anal. Appl. 461 (2018), no. 2, 1672–1685

    2018

  45. [53]

    Zheng, J

    Z. Zheng, J. Qi, and J. Shao, Friedrichs extensions for Sturm–Liouville operators with complex coefficients and their spectra , Proc. Roy. Soc. Edinburgh Sect. A (2022), 1–23

    2022

  46. [54]

    Zheng, J

    Z. Zheng, J. Qi, and J. Shao, Friedrichs extensions for Sturm–Liouville operators with complex coefficients and their spectra , Proc. Roy. Soc. Edinburgh Sect. A 153 (2023), no. 6, 1883–1905

    2023

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.