We consider several aspects of conjugating symmetry methods, including the method of invariants, with an asymptotic approach. In particular we consider how to extend to the stochastic setting several ideas which are well established in the deterministic one, such as conditional, partial and asymptotic symmetries. A number of explicit examples are presented.
Citation: Giuseppe Gaeta, Roma Kozlov, Francesco Spadaro. Asymptotic symmetry and asymptotic solutions to Ito stochastic differential equations[J]. Mathematics in Engineering, 2022, 4(5): 1-52. doi: 10.3934/mine.2022038
[1] | Yan Ma, Di Han . On the high-th mean of one special character sums modulo a prime. AIMS Mathematics, 2023, 8(11): 25804-25814. doi: 10.3934/math.20231316 |
[2] | Robert Reynolds, Allan Stauffer . Extended Prudnikov sum. AIMS Mathematics, 2022, 7(10): 18576-18586. doi: 10.3934/math.20221021 |
[3] | Junyong Zhao, Yang Zhao, Yujun Niu . On the number of solutions of two-variable diagonal quartic equations over finite fields. AIMS Mathematics, 2020, 5(4): 2979-2991. doi: 10.3934/math.2020192 |
[4] | Shuangnian Hu, Rongquan Feng . On the number of solutions of two-variable diagonal sextic equations over finite fields. AIMS Mathematics, 2022, 7(6): 10554-10563. doi: 10.3934/math.2022588 |
[5] | Jinmin Yu, Renjie Yuan, Tingting Wang . The fourth power mean value of one kind two-term exponential sums. AIMS Mathematics, 2022, 7(9): 17045-17060. doi: 10.3934/math.2022937 |
[6] | Zhuoyu Chen, Wenpeng Zhang . A new reciprocity formula of Dedekind sums and its applications. AIMS Mathematics, 2024, 9(5): 12814-12824. doi: 10.3934/math.2024626 |
[7] | Wenpeng Zhang, Jiafan Zhang . The hybrid power mean of some special character sums of polynomials and two-term exponential sums modulo p. AIMS Mathematics, 2021, 6(10): 10989-11004. doi: 10.3934/math.2021638 |
[8] | Shuangnian Hu, Rongquan Feng . The number of solutions of cubic diagonal equations over finite fields. AIMS Mathematics, 2023, 8(3): 6375-6388. doi: 10.3934/math.2023322 |
[9] | Junfeng Cui, Li Wang . The generalized Kloosterman's sums and its fourth power mean. AIMS Mathematics, 2023, 8(11): 26590-26599. doi: 10.3934/math.20231359 |
[10] | Xi Liu . Some identities involving Gauss sums. AIMS Mathematics, 2022, 7(2): 3250-3257. doi: 10.3934/math.2022180 |
We consider several aspects of conjugating symmetry methods, including the method of invariants, with an asymptotic approach. In particular we consider how to extend to the stochastic setting several ideas which are well established in the deterministic one, such as conditional, partial and asymptotic symmetries. A number of explicit examples are presented.
In recent years, circulant matrices and r−circulant matrices have been two of the most interesting research areas in the fields of computational mathematics and applied mathematics. Many scholars have done a lot of meaningful work on this. It is well known that these matrices have a wide range of applications in coding theory, signal processing, image processing, digital image disposal, and linear forecasting in [4,20,21,26]. Further, ideal matrices are more general circulant matrices and r−circulant matrices. Therefore, they not only play an important role in the above aspects but also have significance in the study of ideal lattices [12,18].
Many generalizations of the circulant matrices with special entries have been introduced and studied [13,16,17,23,24]. For example, Shen, Cen, and Hao [17] computed the determinants and inverses of circulant matrices with Fibonacci and Lucas numbers. In 2012, Yazlik and Taskara [23] defined circulant matrices whose entries are the generalized k−Horadam numbers and calculated the spectral norms, eigenvalues, and determinants of the matrices. The generalized k−Horadam sequence is a generalization of the special second-order sequences or polynomials. Inspired by these studies, we aim to extend this line of research by studying ideal matrices whose entries are the generalized k−Horadam numbers. We compute the eigenvalues and determinants of these matrices and establish novel upper bounds for the spectral norm and the Frobenius norm of ideal matrices with generalized k−Horadam number entries. This work not only generalizes existing results on circulant and r−circulant matrices but also contributes to the broader understanding of ideal matrices and their algebraic properties.
Horadam sequences, introduced by A. F. Horadam [8] in 1965, have since found applications across a wide range of fields, including geometry, combinatorics, approximation theory, statistics, cryptography, and physics, due to their ability to model various natural and theoretical phenomena. The study of these sequences has become particularly prominent in matrix theory, where they play a crucial role in areas such as coding theory, signal processing, image processing, and digital image analysis. In recent years, many scholars have made significant contributions to the study of Horadam sequences. For example, W. M. Abd-Elhameed et al. [1] explored a Horadam-type of generalized numbers involving four parameters and presented several new identities related to them. Prasad et al. [27] extended the k-Horadam numbers to third order and studied their properties. W. M. Abd-Elhameed [2] established new connection formulae for Fibonacci and Lucas polynomials, extending known results and deriving novel applications. Frontczak [7] explored Horadam identities using binomial coefficients and gave many other known identities. G. Y. Şentürk et al. [15] investigated the algebraic properties of Horadam numbers and provided matrix representations.
In [22], the generalized k−Horadam sequence {Hk,n}n∈N was defined as follows:
Hk,n+2=f(k)Hk,n+1+g(k)Hk,n, Hk,0=a, Hk,1=b(a,b∈R), | (1.1) |
where k∈R+, f(k),g(k) are scalar-valued polynomials, and f(k)2+4g(k)>0. Clearly, if f(k)=g(k)=1,a=0 and b=1, the well-known Fibonacci number is obtained. If f(k)=g(k)=1,a=2 and b=1, we obtain the famous Lucas number. If f(x)=2x,g(x)=−1,a=1 and b=x, then we have the Chebyshev polynomial. Note that for Chebyshev polynomials, the condition f(k)2+4g(k)>0 is satisfied only when x2>1. For x∈[−1,1], the characteristic roots of the recurrence relation are complex. This is consistent with the oscillatory nature of Chebyshev polynomials in this interval, as they can be expressed in terms of trigonometric functions that remain real for x∈[−1,1]. That is to say, if we take an appropriate value with f(k),g(k),a,b in (1.1), then we can get the familiar second-order sequences.
Let α and β be the roots of the characteristic equation x2−f(k)x−g(k)=0 of the sequence {Hk,n}n∈N. Then the Binet formula of this sequence {Hk,n}n∈N has the form
Hk,n=Xαn−Yβnα−β, | (1.2) |
where X=b−aβ, Y=b−aα.
Many scholars have also studied some properties of r−circulant matrices with generalized k−Horadam numbers [11,19,25]. An r−circulant matrix is not only a generalization of a classical circulant matrix but is also a special case of an ideal matrix. For example, Yazlik and Taskara [25] obtained upper and lower bounds for the spectral norm of an r−circulant matrix whose entries are the generalized k−Horadam numbers. In 2018, by using the algebra methods and the properties of the r−circulant matrix, Shi [19] gave a new estimate for the spectral norms of an r−circulant matrix involving the generalized k−Horadam numbers. Let us take any matrix A=[ai,j]∈Mm,n(C); the well-known spectral norm of A is given by
||A||2=√max1≤i≤nλi(A∗A), | (1.3) |
where λi(A∗A) are the eigenvalues of A∗A, A∗ is the conjugate transpose of A. The Frobenius (or Euclidean) norm of A is given by
||A||F=(m∑i=1n∑j=1|aij|2)12=√trace(A∗A). | (1.4) |
In this paper, we first give the basic properties of ideal matrices and the definition of the ideal matrix with the generalized k−Horadam numbers. And then we calculate its eigenvalues and determinants. Finally, we will obtain upper bound estimates of the spectral norm and the Frobenius norm for the ideal matrix. The results to be derived here will turn out to be the most general statements concerning an r−circulant matrix and such matrices having as elements the terms of a second order sequence.
We now introduce a generalization of circulant matrices and r−circulant matrices—the so-called ideal matrices, according to the lattice-based cryptosystem theory.
Definition 2.1. [27] Suppose p(x)=xn−an−1xn−1−⋯−a1x−a0∈Z[x], Gp∈Zn×n is a square matrix given by
G=Gp=(0⋯0a0a1In−1⋮an−1), | (2.1) |
where In−1 is the (n−1)×(n−1) unit matrix. Let h(x)=h0+h1x+h2x2+⋯+hn−1xn−1∈C[x]. Denote the vector h by
h=(h0h1⋮hn−1). | (2.2) |
Then an ideal matrix generated by a vector h is defined as
G(h)=Gp(h)=[h,Gh,G2h,…,Gn−1h]n×n | (2.3) |
and each column vector is Gih(0≤i≤n−1).
Obviously, p(x) is the characteristic polynomial of G. If p(x)=xn−1, i.e., a1=a2=⋯=an−1=0,a0=1. So
G=Gp=(0⋯010In−1⋮0) |
in (2.1). Then the ideal matrix G(h) generated by h is given by
G(h)=Gp(h)=[h,Gh,G2h,…,Gn−1h]n×n=(h0hn−1⋯h2h1h1h0⋯h3h2⋯⋯⋯⋯⋯hn−2hn−3⋯h0hn−1hn−1hn−2⋯h1h0), |
which is known as the classical circulant matrix.
If we let p(x)=xn−r, r∈C, i.e., a1=a2=⋯=an−1=0,a0=r. Then
G(h)=Gp(h)=[h,Gh,G2h,…,Gn−1h]n×n=(h0rhn−1rhn−2⋯rh1h1h0rhn−1⋯rh2⋯⋯⋯⋯⋯hn−2hn−3hn−4⋯rhn−1hn−1hn−2hn−3⋯h0) |
is the r−circulant matrix. The r−circulant matrix in this paper applies the factor r to the main diagonal entries, unlike the classical r−circulant matrix, where the factor r is applied to entries below the main diagonal. This approach simplifies the expression of G(h) by directly using column vectors instead of row vectors with a transpose operation.
Therefore, an ideal matrix is a more general form of a circulant matrix and an r−circulant matrix. We know that both circulant matrices and r−circulant matrices are special cases of Toeplitz matrices (see [5]), but ideal matrices are not Toeplitz matrices, generally.
Next, we give some basic properties for an ideal matrix G(h).
Lemma 2.1. For any h=(h0h1⋮hn−1)∈Rn, we have G(h)=h0I+h1G+h2G2+⋯+hn−1Gn−1, where I is a n×n matrix, G is defined as in Eq (2.1).
Proof. Let e1,e2,…,en be the n column unit vectors in Rn, i.e.,
e1=(10⋮0),e2=(01⋮0),…,en=(00⋮1). |
It is easy to check that h=h0e1+h1e2+⋯+hn−1en and G(g+h)=G(g)+G(h) for any g=(g0g1⋯gn−1)T∈Rn. Thus, G(h)=h0G(e1)+h1G(e2)+⋯+hn−1G(en). We claim that G(ek)=Gk−1(1≤k≤n). We prove it by induction on k. And we know Gei=ei+1(1≤i≤n−1). If k=1,G(e1)=In is trivial. Assume it is true for k=n−1, that is G(en−1)=(en−1,Gen−1,…,Gn−1en−1)=Gn−2. We consider the case of k=n,
G(en)=(en,Gen,…,Gn−1en)=(Gen−1,G2en−1,…,Gnen−1)=G(en−1,Gen−1,…,Gn−1en−1)=G⋅Gn−2=Gn−1. |
So G(h)=h0I+h1G+h2G2+⋯+hn−1Gn−1. We complete the proof of Lemma 2.1.
We always assume that p(x)∈Z[x] is a separable polynomial and ω1,ω2,…,ωn are distinct zeros of p(x). The Vandermonde matrix V generated by {ω1,ω2,…,ωn} is
V=(11⋯1ω1ω2⋯ωn⋯⋯⋯⋯ω1n−1ω2n−1⋯ωnn−1),Δanddet(V)≠0. |
Lemma 2.2. Let l(x)=l0+l1x+⋯+ln−1xn−1∈R[x], then we have
G(l)=V−1diag{l(ω1),l(ω2),…,l(ωn)}V, |
where diag{l(ω1),l(ω2),…,l(ωn)} is the diagonal matrix.
Proof. By Theorem 3.2.5 of [6], for G, we have
G=V−1diag{ω1,ω2,…,ωn}V. | (2.4) |
By Lemma 2.1, it follows that
G(l)=V−1diag{l(ω1),l(ω2),…,l(ωn)}V. |
Lemma 2.3. Let g,h∈Rn be two column vectors and G(g) be the ideal matrix generated by g, then we have
(i) G(g)G(h)=G(h)G(g);
(ii) G(g)G(h)=G(G(g)h);
(iii) det(G(g))=∏ni=1g(ωi);
(iv) G(g) is an invertible matrix if and only if p(x) and g(x) are coprime, i.e., gcd(p(x),g(x))=1.
Proof. (ⅰ) By Lemma 2.1, we have
G(g)=g0I+g1G+g2G2+⋯+gn−1Gn−1 |
and
G(h)=h0I+h1G+h2G2+⋯+hn−1Gn−1. |
We know gi,hi∈R(0≤i≤n−1),gihi=higi. Then
G(g)G(h)=(g0I+g1G+g2G2+⋯+gn−1Gn−1)(h0I+h1G+h2G2+⋯+hn−1Gn−1)=(h0I+h1G+h2G2+⋯+hn−1Gn−1)(g0I+g1G+g2G2+⋯+gn−1Gn−1)=G(h)G(g). |
(ⅱ) By Lemma 2.1, we have
G(g)h=g0Ih+g1Gh+g2G2h+⋯+gn−1Gn−1h, |
and
G(G(g)h)=(g0Ih0+g1Gh0+g2G2h0+⋯+gn−1Gn−1h0)I+(g0Ih1+g1Gh1+g2G2h1+⋯+gn−1Gn−1h1)G+⋯+(g0Ihn−1+g1Ghn−1+g2G2hn−1+⋯+gn−1Gn−1hn−)G=(g0I+g1G+g2G2+⋯+gn−1Gn−1)(h0I+h1G+h2G2+⋯+hn−1Gn−1)=G(g)G(h). |
(ⅲ) By Lemma 2.2, we have
G(g)=V−1diag{g(ω1),g(ω2),…,g(ωn)}V, |
then
det(G(g))=det(diag{g(ω1),g(ω2),…,g(ωn)})=n∏i=1g(ωi). |
(ⅳ) It is clear that p(x)=(x−ω1)(x−ω2)⋯(x−ωn). G(g) is an invertible matrix ⟺g(ωi)≠0(1≤i≤n)⟺gcd(p(x),g(x))=1.
Finally, we give the definition of the ideal matrix with the generalized k−Horadam numbers.
Definition 2.2. Let
h=(Hk,0Hk,1⋮Hk,n−1) |
in Definition 2.1. That is h(x)=Hk,0+Hk,1x+Hk,2x2+⋯+Hk,n−1xn−1, where Hk,i(0≤i≤n−1) is ith generalized k−Horadam number. Then G(h)=[h,Gh,G2h,…,Gn−1h]n×n=h(G)=Hk,0I+Hk,1G+Hk,2G2+⋯+Hk,n−1Gn−1 is the ideal matrix with the generalized k−Horadam numbers.
Similarly, we can give the definitions of ideal matrices with the Fibonacci and Lucas numbers, respectively. Throughout this paper, the ideal matrix with the generalized k−Horadam numbers will be denoted by K=G(h)=Hk,0I+Hk,1G+Hk,2G2+⋯+Hk,n−1Gn−1.
In this section, we consider the eigenvalues and determinants of ideal matrices with the generalized k−Horadam numbers. Our results generalize the results in [11,17,25].
Lemma 3.1. Assume ω1,ω2,…,ωn are the roots of p(x). Then h(ω1),h(ω2),…,h(ωn) are all eigenvalues of the ideal matrix G(h). That is,
λj(G(h))=h(ωj)=n−1∑i=0hiωji,j=1,2,…,n. |
Proof. Because p(x) is the characteristic polynomial of G, ω1,ω2,…,ωn are all eigenvalues of G. And G(h)=h(G)=h0I+h1G+h2G2+⋯+hn−1Gn−1, h(x)=h0+h1x+h2x2+⋯+hn−1xn−1 is any polynomial with degree greater than 0 in C. So h(ω1),h(ω2),…,h(ωn) are all eigenvalues of G(h).
The method of first studying the eigenvalues of G and the expression of G(h) to subsequently derive the eigenvalues of G(h) is similarly reflected in the approaches of references [3,9,10]. In [9], the authors first obtained the eigenvalues of a generalized permutation matrix U, they then used these results to determine the eigenvalues of a generalized weighted circulant matrix C generated by U, where C=∑kr=0crUr. In [3], the eigenvalues of a (k,n)-circulant like matrix A(k,n)=∑m−1i=0aiQi(k,n) were computed based on similar principles. In [10], the eigenvalues of both Q-circulant matrices and Q-circulant matrices whose entries are Horadam numbers were derived. Next, we will also calculate the eigenvalues of the ideal matrix with the generalized k−Horadam numbers.
Theorem 3.1. Let K=G(h) be the ideal matrix with the generalized k−Horadam numbers defined in Definition 2.2. Then the eigenvalues of K are given by
λj(K)=ωjnHk,n+g(k)ωjn+1Hk,n−1+(af(k)−b)ωj−Hk,0g(k)ωj2+f(k)ωj−1, |
where Hk,n is the nth generalized k−Horadam number and ωj are the roots of p(x),j=1,2,…,n.
Proof. By Lemma 3.1,
λj(K)=n−1∑i=0Hk,iωji=Hk,0+Hk,1ωj+Hk,2ωj2+⋯+Hk,n−1ωjn−1. |
And by Binet's formula (1.2), we have
λj(K)=n−1∑i=0Xαi−Yβiα−βωji=1α−β(X(αωj)n−1αωj−1−Y(βωj)n−1βωj−1)=1α−βX(αnωjn−1)(βωj−1)−Y(βnωjn−1)(αωj−1)(αωj−1)(βωj−1)=1α−βX(αnβωjn+1−αnωjn−βωj+1)−Y(αβnωjn+1−βnωjn−αωj+1)αβωj2−(α+β)ωj+1. |
Also, αβ=−g(k), α+β=f(k), then
λj(K)=1−g(k)ωj2−f(k)ωj+1×−g(k)Xαn−1ωjn+1−Xαnωjn−Xβωj+X+g(k)Yβn−1ωjn+1+Yβnωjn+Yαωj−Yα−β=1−g(k)ωj2−f(k)ωj+1×(−g(k)ωjn+1(Xαn−1−Yβn−1)α−β−ωjn(Xαn−Yβn)α−β−ωj(Xβ−Yα)α−β+X−Yα−β)=1−g(k)ωj2−f(k)ωj+1(−g(k)ωjn+1Hk,n−1−ωjnHk,n−ωjXβ−Yαα−β+Hk,0). |
Moreover, X=b−aβ, Y=b−aα, we obtain
λj(K)=ωjnHk,n+g(k)ωjn+1Hk,n−1+(af(k)−b)ωj−Hk,0g(k)ωj2+f(k)ωj−1. |
Theorem 3.2. The determinant of K=G(h)=[h,Gh,G2h,…,Gn−1h] is formulated by
det(K)=n∏j=1ωjnHk,n+g(k)ωjn+1Hk,n−1+(af(k)−b)ωj−Hk,0g(k)ωj2+f(k)ωj−1, |
where Hk,n is the nth generalized k−Horadam number and ωj are the roots of p(x),j=1,2,…,n.
Proof. It is clear that det(K)=∏nj=1λj(K). By Theorem 3.1, which completes the proof.
Remark 3.1. If we take p(x)=xn−r in Theorems 3.1 and 3.2, then K is an r−circulant matrix with the generalized k−Horadam numbers. The result is reduced to Theorems 7 and 8 in [25], respectively.
Corollary 3.1. If we take
h=(F0F1⋮Fn−1) |
in Theorem 3.1, where {Fi}i∈N is the Fibonacci sequence. Then K is the ideal matrix with the Fibonacci numbers. In this case, the eigenvalues and determinants of K are
λj(K)=ωjnFn+ωjn+1Fn−1−ωjωj2+ωj−1(1≤j≤n) |
and
det(K)=n∏j=1ωjnFn+ωjn+1Fn−1−ωjωj2+ωj−1, |
where ωj are the roots of p(x)=xn−an−1xn−1−⋯−a1x−a0∈Z[x],j=1,2,…,n.
Proof. Because {Fi}i∈N is the Fibonacci sequence, that is
f(k)=g(k)=1,a=0andb=1 |
in (1.1). Then by Theorems 3.1 and 3.2, the proof is completed.
In Reference [14], the author derived the eigenvalues of a k-circulant matrix with Fibonacci numbers (see Theorem 4) and considered the cases where ψω−j=1α or ψω−j=1β.
Corollary 3.2. If we take
h=(L0L1⋮Ln−1) |
in Theorem 3.1, where {Li}i∈N is the Lucas sequence. Then K is the ideal matrix with the Lucas numbers. In this case, the eigenvalues and determinants of K are
λj(K)=ωjnLn+ωjn+1Ln−1+ωj−2ωj2+ωj−1(1≤j≤n) |
and
det(K)=n∏j=1ωjnLn+ωjn+1Ln−1+ωj−2ωj2+ωj−1, |
where ωj are the roots of p(x)=xn−an−1xn−1−⋯−a1x−a0∈Z[x],j=1,2,…,n.
Proof. Because {Li}i∈N is the Lucas sequence, that is
f(k)=g(k)=1,a=2andb=1 |
in (1.1). Then by Theorems 3.1 and 3.2, the proof is completed.
We start this section by giving the following lemma.
Lemma 4.1. Suppose that {Hk,i}i∈N is a generalized k−Horadam sequence defined in (1.1). N is an arbitrary constant. The following conclusions hold.
(i) If Nf(k)+N2g(k)≠1, then
n−1∑i=0NiHk,i=a−N(af(k)−b)−NnHk,n−g(k)Nn+1Hk,n−11−Nf(k)−N2g(k). |
(ii) If Nf(k)+N2g(k)=1, then
n−1∑i=0NiHk,i=a+nbN+naN2g(k)−NnHk,n1+N2g(k). |
Proof. (i) According to (1.1), we have
Hk,−1=Hk,1−f(k)Hk,0g(k)=b−af(k)g(k) | (4.1) |
and
Hk,−2=Hk,0−f(k)Hk,1g(k)=ag(k)−f(k)(b−af(k))g2(k). | (4.2) |
Shifting the summation index, we obtain
n−1∑i=0NiHk,i=n−1∑i=0Ni(f(k)Hk,i−1+g(k)Hk,i−2)=f(k)n−1∑i=0NiHk,i−1+g(k)n−1∑i=0NiHk,i−2=f(k)(n−1∑i=0Ni+1Hk,i+Hk,−1−NnHk,n−1)+g(k)(n−1∑i=0Ni+2Hk,i+Hk,−2+NHk,−1−NnHk,n−2−Nn+1Hk,n−1). |
Then by direct calculation and (4.1), (4.2), we have
(1−Nf(k)−N2g(k))n−1∑i=0NiHk,i=f(k)Hk,−1−f(k)NnHk,n−1+g(k)Hk,−2+g(k)NHk,−1−g(k)NnHk,n−2−g(k)Nn+1Hk,n−1=f(k)b−af(k)g(k)−f(k)NnHk,n−1+a−f(k)(b−af(k))g(k)+N(b−af(k))−g(k)NnHk,n−2−g(k)Nn+1Hk,n−1=a−N(af(k)−b)−NnHk,n−g(k)Nn+1Hk,n−1. |
Because Nf(k)+N2g(k)≠1, we obtain that
n−1∑i=0NiHk,i=a−N(af(k)−b)−NnHk,n−g(k)Nn+1Hk,n−11−Nf(k)−N2g(k). |
(ii) If Nf(k)+N2g(k)=1, then 1+N2g(k)≠0. Because by the definition of k−Horadam numbers, we know f2(k)+4g(k)>0. And f(k)=1−N2g(k)N. Hence, we have
(1−N2g(k))2+4N2g(k)N2>0, |
that is
(1+N2g(k))2>0. |
Therefore, 1+N2g(k)≠0.
In addition, we first demonstrate that
Hk,i+2+Ng(k)Hk,i+1=1N(Hk,i+1+Ng(k)Hk,i). |
According to (1.1),
Hk,i+2+Ng(k)Hk,i+1=f(k)Hk,i+1+g(k)Hk,i+Ng(k)Hk,i+1=(f(k)+Ng(k))Hk,i+1+g(k)Hk,i=1NHk,i+1+g(k)Hk,i=1N(Hk,i+1+Ng(k)Hk,i). |
So we have
Hk,i+2+Ng(k)Hk,i+1=1N2(Hk,i+Ng(k)Hk,i−1)=⋯=1Ni+1(Hk,1+Ng(k)Hk,0)=1Ni+1(b+Ng(k)a). |
One can obtain that
Ni+2(Hk,i+2+Ng(k)Hk,i+1)=N(b+Ng(k)a). |
Evaluating summation from 0 to n−1, we have
n−1∑i=0(Ni+2Hk,i+2+Ni+3g(k)Hk,i+1)=nN(b+Ng(k)a). | (4.3) |
Shifting the summation index in (4.3), we obtain
nN(b+Ng(k)a)=n−1∑i=0Ni+2Hk,i+2+N2g(k)n−1∑i=0Ni+1Hk,i+1=n−1∑i=0NiHk,i−Hk,0−NHk,1+NnHk,n+Nn+1Hk,n+1+N2g(k)(n−1∑i=0NiHk,i−Hk,0+NnHk,n)=(1+N2g(k))n−1∑i=0NiHk,i−a−Nb+NnHk,n+Nn+1Hk,n+1−N2g(k)a+Nn+2g(k)Hk,n. |
Since
Nn+1Hk,n+1+Nn+2g(k)Hk,n=N(b+Ng(k)a). |
Then, we have
(1+N2g(k))n−1∑i=0NiHk,i=nNb+nN2g(k)a+a−NnHk,n. |
Therefore,
n−1∑i=0NiHk,i=a+nNb+nN2g(k)a−NnHk,n1+N2g(k). |
Theorem 4.1. Let K=G(h)=[h,Gh,G2h,…,Gn−1h] be an n×n ideal matrix with the generalized k−Horadam numbers. Then we have the following upper bound estimates for the spectral norm of K.
(i) If Nf(k)+N2g(k)≠1, then
||K||2≤a−N(af(k)−b)−NnHk,n−g(k)Nn+1Hk,n−11−Nf(k)−N2g(k). |
(ii) If Nf(k)+N2g(k)=1, then
||K||2≤a+nbN+naN2g(k)−NnHk,n1+N2g(k), |
where N=√1+∑n−1i=0ai2+√(1+∑n−1i=0ai2)2−4a022, a0,a1,…,an−1 are the coefficients of the polynomial p(x).
Proof. By (2.1),
G=(0⋯0a0a1In−1⋮an−1). |
G∗ is the conjugate transpose of G, so G∗G has the form
G∗G=(01⋯0000⋯00⋯⋯⋯⋯⋯00⋯01a0a1⋯an−2an−1)(00⋯0a010⋯0a1⋯⋯⋯⋯⋯00⋯0an−200⋯1an−1)=(10⋯0a101⋯0a2⋯⋯⋯⋯⋯00⋯1an−1a1a2⋯an−1a02+a12+⋯+an−12). |
One can obtain that
|λI−G∗G|=|λ−10⋯0−a10λ−1⋯0−a2⋯⋯⋯⋯⋯00⋯λ−1−an−1−a1−a2⋯−an−1λ−(a02+a12+⋯+an−12)|=|λ−10⋯0−a10λ−1⋯0−a2⋯⋯⋯⋯⋯00⋯λ−1−an−100⋯0λ−n−1∑i=0ai2−1λ−1(n−1∑i=1ai2)|=(λ−1)n−1(λ−n−1∑i=0ai2−1λ−1(n−1∑i=1ai2))=(λ−1)n−2(λ2−λ(1+n−1∑i=0ai2)+a02). |
Let M=1+∑n−1i=0ai2. So the eigenvalues of G∗G are
λ1(G∗G)=λ2(G∗G)=⋯=λn−2(G∗G)=1,λn−1,n(G∗G)=M±√M2−4a022, |
where M2−4a02≥0. Because ai∈Z, M2−4a02≥(1+a02)2−4a02=(a02−1)2≥0. We know K=G(h)=Hk,0I+Hk,1G+Hk,2G2+⋯+Hk,n−1Gn−1, so
||K||2=||n−1∑i=0Hk,iGi||2≤n−1∑i=0Hk,i||G||2i. |
Because of M≥2, and λn−1(G∗G)=M+√M2−4a022≥1. Then
||G||2=√max1≤i≤nλi(G∗G)=√M+√M2−4a022. |
Let N=√M+√M2−4a022, we have
||K||2≤n−1∑i=0Hk,i||G||2i=n−1∑i=0NiHk,i, |
by Lemma 4.1, which completes the proof.
Theorem 4.2. We have the following upper bound estimates for the Frobenius norm of K.
(i) If Sf(k)+S2g(k)≠1, then
||K||F≤a−S(af(k)−b)−SnHk,n−g(k)Sn+1Hk,n−11−Sf(k)−S2g(k). |
(ii) If Sf(k)+S2g(k)=1, then
||K||F≤a+nbS+naS2g(k)−SnHk,n1+S2g(k). |
Here S=√n−1+∑n−1i=0ai2, a0,a1,…,an−1 are the coefficients of the polynomial p(x).
Proof. From the proof of Theorem 4.1, we know trace(G∗G)=n−1+∑n−1i=0ai2. So
||G||F=√trace(G∗G)=√n−1+n−1∑i=0ai2. |
And K=G(h)=Hk,0I+Hk,1G+Hk,2G2+⋯+Hk,n−1Gn−1, then
||K||F=||n−1∑i=0Hk,iGi||F≤n−1∑i=0Hk,i||G||Fi. |
Let S=√n−1+∑n−1i=0ai2, we have
||K||F≤n−1∑i=0Hk,i||G||Fi=n−1∑i=0SiHk,i, |
where S is a constant. By Lemma 4.1, the proof is completed.
This paper investigates ideal matrices with generalized k-Horadam numbers and develops explicit formulas for calculating the eigenvalues and determinants of these matrices and establishes upper bounds for their spectral and Frobenius norms. These findings contribute to the understanding of ideal matrices and their applications in matrix theory and related fields. Future research could aim to establish connections between ideal matrices with generalized k-Horadam numbers and ideal lattices, provide new insights into the fundamental theory of ideal lattices, and explore their specific properties and potential applications in cryptography.
Man Chen: Wrote the main manuscript text; Huaifeng Chen: Checked and revised the manuscript. All authors have read and approved the final version of the manuscript for publication.
The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors are enormously grateful to the anonymous referees for their very careful reading of this paper and for their many valuable and detailed suggestions.
This work is supported by the 'National Key R&D Program of China - Secure Technology for Industrial Control Programming Platform Based on Domestic Cryptography' (No. 2021YFB3101600), a lightweight cryptographic algorithm design and application project for industrial control embedded platform (No. 2021YFB3101602).
The authors declare that there are no conflicts of interest.
[1] | G. Birkhoff, Hydrodynamics, Princeton UP, 1960. |
[2] | L. V. Ovsjiannikov, Group properties of differential equations, Novosibirsk, 1962. |
[3] | D. V. Alexseevsky, A. M. Vinogradov, V. V. Lychagin, Basic ideas and concepts of differential geometry, Springer, 1991. |
[4] | G. Cicogna, G. Gaeta, Symmetry and perturbation theory in nonlinear dynamics, Springer, 1999. |
[5] | I. S. Krasil'schik, A. M. Vinogradov, Symmetries and conservation laws for differential equations of mathematical physics, A.M.S., 1999. |
[6] | P. J. Olver, Application of Lie groups to differential equations, Springer, 1986. |
[7] | P. J. Olver, Equivalence, invariants and symmetry, Cambridge University Press, 1995. |
[8] | H. Stephani, Differential equations. Their solution using symmetries, Cambridge University Press, 1989. |
[9] | P. Winternitz, What is new in the study of differential equations by symmetry methods?, In: Group theoretical methods in physics (Proceedings XV ICGTMP), World Scientific, 1987. |
[10] |
D. Levi, P. Winternitz, Non-classical symmetry reduction: example of the Boussinesq equation, J. Phys. A, 22 (1989), 2915–2924. doi: 10.1088/0305-4470/22/15/010
![]() |
[11] |
G. Cicogna, G. Gaeta, Partial Lie-point symmetries of differential equations, J. Phys. A, 34 (2001), 491–512. doi: 10.1088/0305-4470/34/3/312
![]() |
[12] |
G. Gaeta, Asymptotic symmetries and asymptotically symmetric solutions of partial differential equations, J. Phys. A, 27 (1994), 437–451. doi: 10.1088/0305-4470/27/2/027
![]() |
[13] |
G. Gaeta, N. Rodríguez-Quintero, Lie-point symmetries and stochastic differential equations, J. Phys. A, 32 (1999), 8485–8505. doi: 10.1088/0305-4470/32/48/310
![]() |
[14] |
G. Gaeta, Lie-point symmetries and stochastic differential equations II, J. Phys. A, 33 (2000), 4883–4902. doi: 10.1088/0305-4470/33/27/306
![]() |
[15] |
G. Unal, Symmetries of Ito and Stratonovich dynamical systems and their conserved quantities, Nonlin. Dyn., 32 (2003), 417–426. doi: 10.1023/A:1025669920594
![]() |
[16] |
R. Kozlov, Symmetry of systems of stochastic differential equations with diffusion matrices of full rank, J. Phys. A, 43 (2010), 245201. doi: 10.1088/1751-8113/43/24/245201
![]() |
[17] |
R. Kozlov, The group classification of a scalar stochastic differential equations, J. Phys. A, 43 (2010), 055202. doi: 10.1088/1751-8113/43/5/055202
![]() |
[18] |
R. Kozlov, On maximal Lie point symmetry groups admitted by scalar stochastic differential equations, J. Phys. A, 44 (2011), 205202. doi: 10.1088/1751-8113/44/20/205202
![]() |
[19] |
R. Kozlov, On symmetries of stochastic differential equations, Commun. Nonlinear. Sci., 17 (2012), 4947–4951. doi: 10.1016/j.cnsns.2012.05.019
![]() |
[20] |
G. Gaeta, F. Spadaro, Random Lie-point symmetries of stochastic differential equations, J. Math. Phys., 58 (2017), 053503. doi: 10.1063/1.4982639
![]() |
[21] |
G. Gaeta, F. Spadaro, Erratum: "Random Lie-point symmetries of stochastic differential equations" [J. Math. Phys. 58, 053503 (2017)], J. Math. Phys., 58 (2017), 129901. doi: 10.1063/1.5012089
![]() |
[22] |
G. Gaeta, Symmetry of stochastic non-variational differential equations, Phys. Rep., 686 (2017), 1–62. doi: 10.1016/j.physrep.2017.05.005
![]() |
[23] |
G. Gaeta, Erratum for "Symmetry of stochastic non-variational differential equations" [Phys. Rep. 686 (2017) 1–62], Phys. Rep., 713 (2017), 18. doi: 10.1016/j.physrep.2017.11.002
![]() |
[24] | G. Gaeta, C. Lunini, On Lie-point symmetries for Ito stochastic differential equations, J. Nonlinear Math. Phys., 24 (2017), 90–102. |
[25] | G. Gaeta, C. Lunini, Symmetry and integrability for stochastic differential equations, J. Nonlinear Math. Phys., 25 (2018), 262–289. |
[26] |
R. Kozlov, Random Lie symmetries of Ito stochastic differential equations, J. Phys. A, 51 (2018), 305203. doi: 10.1088/1751-8121/aac95a
![]() |
[27] |
R. Kozlov, Lie-point symmetries of Stratonovich stochastic differential equations, J. Phys. A, 51 (2018), 505201. doi: 10.1088/1751-8121/aae753
![]() |
[28] | R. Kozlov, Symmetries of Ito stochastic differential equations and their applications, In: Nonlinear systems and their remarkable mathematical structures, CRC Press, 2018. |
[29] | G. Gaeta, C. Lunini, F. Spadaro, Recent advances in symmetry of stochastic differential equations, Rend. Mat. Appl., 39 (2018), 293–306. |
[30] |
G. Gaeta, W-Symmetries of Ito stochastic differential equations, J. Math. Phys., 60 (2019), 053501. doi: 10.1063/1.5080434
![]() |
[31] | L. Arnold, Random dynamical systems, Springer, 1988. |
[32] | L. C. Evans, An introduction to stochastic differential equations, A.M.S., 2013. |
[33] | D. Freedman, Brownian motion and diffusion, Springer, 1983. |
[34] | N. Ikeda, S. Watanabe, Stochastic differential equations and diffusion processes, North Holland, 1981. |
[35] | N. G. van Kampen, Stochastic processes in physics and chemistry, North Holland: Elsevier, 1992. |
[36] | B. Oksendal, Stochastic differential equations, 4 Eds., Springer, 1985. |
[37] | D. W. Stroock, Markov processes from K.Ito's perspective, Princeton UP, 2003. |
[38] | S. Walcher, Orbital symmetries of first order ODEs, In: Symmetry and Perturbation Theory (SPT98), World Scientific, 1999, 96–113. |
[39] |
M. K. Kinyon, S. Walcher, On ordinary differential equations admitting a finite linear group of symmetries, J. Math. Anal. Appl., 216 (1997), 180–196. doi: 10.1006/jmaa.1997.5668
![]() |
[40] | S. Walcher, Multi-parameter symmetries of first order ordinary differential equations, J. Lie Theory, 9 (1999), 249–269. |
[41] | J. Guckenheimer, Ph. Holmes, Nonlinear oscillations, dynamical systems, and bifurcation of vector fields, Springer, 1983. |
[42] | P. Glendinning, Stability, instability and chaos: an introduction to the theory of nonlinear differential equations, Cambridge UP, 1994. |
[43] | G. Iooss, M. Adelmeyer, Topics in bifurcation theory and applications, World Scientific, 1992. |
[44] | F. Verhulst, Nonlinear differential equations and dynamical systems, Springer, 1989. |
[45] | G. Gaeta, Autonomous systems, dynamical systems, LPTI symmetries, topology of trajectories, and periodic solutions, Int. J. Theor. Phys., 32 (1993), 191–199. |
[46] | J. Milnor, Topology from the differentiable viewpoint, Princeton UP, 1997. |
[47] | G. W. Bluman, J. D. Cole, The general similarity solution of the heat equation, J. Math. Mech., 18 (1969), 1025–1042. |
[48] | G. W. Bluman, J. D. Cole, Similarity methods for differential equations, Springer, 1974. |
[49] |
P. A. Clarkson, M. D. Kruskal, New similarity reductions of the Boussinesq equation, J. Math. Phys., 30 (1989), 2201–2213. doi: 10.1063/1.528613
![]() |
[50] |
P. A. Clarkson, E. L. Mansfield, Symmetry reductions and exact solutions of a class of nonlinear heat equations, Physica D, 70 (1994), 250–288. doi: 10.1016/0167-2789(94)90017-5
![]() |
[51] |
G. Gaeta, On the conditional symmetries of Levi and Winternitz, J. Phys. A, 23 (1990), 3643–3645. doi: 10.1088/0305-4470/23/15/033
![]() |
[52] |
E. Pucci, G. Saccomandi, On the weak symmetry group of partial differential equations, J. Math. Anal. Appl., 163 (1992), 588–598. doi: 10.1016/0022-247X(92)90269-J
![]() |
[53] |
E. Pucci, G. Saccomandi, On the reduction methods for ordinary differential equations, J. Phys. A, 35 (2002), 6145–6155. doi: 10.1088/0305-4470/35/29/314
![]() |
[54] |
R. Z. Zhdanov, Conditional Lie-Backlund symmetry and reduction of evolution equations, J. Phys. A, 28 (1995), 3841–3850. doi: 10.1088/0305-4470/28/13/027
![]() |
[55] | D. Levi, M. A. Rodríguez, Z. Thomova, Differential equations invariant under conditional symmetries, J. Nonlinear Math. Phys., 26 (2019), 281–293. |
[56] |
E. Pucci, G. Saccomandi, Partial differential equations admitting a given non-classical point symmetry, Stud. Appl. Math., 145 (2020), 81–96. doi: 10.1111/sapm.12312
![]() |
[57] |
E. Pucci, G. Saccomandi, Using symmetries à rebours, Stud. Appl. Math., 146 (2021), 99–117. doi: 10.1111/sapm.12342
![]() |
[58] |
R. B. Gardner, N. Kamran, Characteristics and the geometry of hyperbolic equations in the plane, J. Differ. Equations, 104 (1993), 60–116. doi: 10.1006/jdeq.1993.1064
![]() |
[59] | G. B. Whitham, Linear and nonlinear waves, Wiley, 2011. |
[60] | N. Golfenfeld, O. Martin, Y. Oono, F. Liu, Anomalous dimensions and the renormalization group in a non-linear diffusion process, Phys. Rev. Lett., 65 (1990), 1361–1364. |
[61] |
J. Bricmont, A. Kupiainen, Renormalizaion group and the Ginzburg-Landau equation, Commun. Math. Phys., 150 (1992), 193–208. doi: 10.1007/BF02096573
![]() |
[62] |
G. Gaeta, R. Mancinelli, Asymptotic symmetries of anomalous reaction-diffusion equations, J. Nonlinear. Math. Phys., 12 (2005), 550–566. doi: 10.2991/jnmp.2005.12.4.9
![]() |
[63] | G. Gaeta, R. Mancinelli, Asymptotic scaling symmetries for nonlinear PDEs, Int. J. Geom. Methods. M., 2 (2005), 1081–1114. |
[64] | J. D. Murray, Mathematical biology I: an introduction, Springer, 2002. |
[65] | J. D. Murray, Mathematical biology II: spatial models and biomedical applications, Springer, 2003. |
[66] |
F. C. De Vecchi, P. Morando, S. Ugolini, Symmetries of stochastic differential equations using Girsanov transformations, J. Phys. A: Math. Theor., 53 (2020), 135204. doi: 10.1088/1751-8121/ab757d
![]() |
[67] |
F. C. De Vecchi, P. Morando, S. Ugolini, Reduction and reconstruction of SDEs via Girsanov and quasi Doob symmetries, J. Phys. A, 54 (2021), 185203. doi: 10.1088/1751-8121/abef7f
![]() |
[68] |
F. C. De Vecchi, P. Morando, S. Ugolini, Symmetries of stochastic differential equations: A geometric approach, J. Math. Phys., 57 (2016), 063504. doi: 10.1063/1.4953374
![]() |
[69] |
F. C. De Vecchi, P. Morando, S. Ugolini, Reduction and reconstruction of stochastic differential equations via symmetries, J. Math. Phys., 57 (2016), 123508. doi: 10.1063/1.4973197
![]() |
[70] |
F. C. De Vecchi, P. Morando, S. Ugolini, A note on symmetries of diffusions within a martingale problem approach, Stoch. Dynam., 19 (2019), 1950011. doi: 10.1142/S0219493719500114
![]() |
[71] | S. Albeverio, F. C. De Vecchi, P. Morando, S. Ugolini, Weak symmetries of stochastic differential equations driven by semimartingales with jumps, Electron. J. Probab., 25 (2020), 1–34. |
[72] | F. C. De Vecchi, E. Mastrogiacomo, M. Turra, S. Ugolini, Noether theorem in stochastic optimal control problems via contact symmetries, 2021, arXiv: 2102.03172. |
[73] |
L. Arnold, P. Imkeller, Normal forms for stochastic differential equations, Probab. Theory Rel., 110 (1998), 559–588. doi: 10.1007/s004400050159
![]() |
[74] |
S. C. Anco, B. Wang, Geometrical formulation for adjoint-symmetries of Partial differential equations, Symmetry, 12 (2020), 1547. doi: 10.3390/sym12111840
![]() |
[75] | G. Gaeta, Integration of the stochastic logistic equation via symmetry analysis, J. Nonlinear Math. Phys., 26 (2019), 454–467. |
[76] |
S. Albeverio, S. M. Fei, A remark on symmetry of stochastic dynamical systems and their conserved quantities, J. Phys. A, 28 (1995), 6363–6371. doi: 10.1088/0305-4470/28/22/012
![]() |
[77] |
T. Misawa, Noether's theorem in symmetric stochastic calculus of variations, J. Math. Phys., 29 (1988), 2178–2180. doi: 10.1063/1.528145
![]() |
[78] |
T. Misawa, Conserved quantities and symmetry for stochastic dynamical systems, Phys. Lett. A, 195 (1994), 185–189. doi: 10.1016/0375-9601(94)90150-3
![]() |
[79] |
T. Misawa, New conserved quantities derived from symmetry for stochastic dynamical systems, J. Phys. A, 27 (1994), L777–L782. doi: 10.1088/0305-4470/27/20/004
![]() |
[80] |
W. Sarlet, P. G. L. Leach, F. Cantrijn, First integrals versus configurational invariants and a weak form of complete integrability, Physica D, 17 (1985), 87–98. doi: 10.1016/0167-2789(85)90136-8
![]() |
[81] |
K. Rosquist, G. Pucacco, Invariants at fixed and arbitrary energy. A unified geometric approach, J. Phys. A, 28 (1995), 3235–3252. doi: 10.1088/0305-4470/28/11/021
![]() |
[82] |
G. Pucacco, K. Rosquist, Configurational invariants of Hamiltonian systems, J. Math. Phys., 46 (2005), 052902. doi: 10.1063/1.1888565
![]() |
[83] |
L. S. Hall, Invariants polynomial in momenta for integrable Hamiltonians, Phys. Rev. Lett., 54 (1985), 614–615. doi: 10.1103/PhysRevLett.54.614
![]() |
[84] |
L. S. Hall, A theory of exact and approximate configurational invariants, Physica D, 8 (1983), 90–116. doi: 10.1016/0167-2789(83)90312-3
![]() |
[85] | H. J. Kushner, Stochastic stability and control, Academic Press, 1967. |
[86] | R. Z. Khas'minskii, Stochastic stability of differential equations, Noordhoff, 1980. |
[87] |
T. S. Doan, M. Engel, J. S. Lamb, M. Rasmussen, Hopf bifurcation with additive noise, Nonlinearity, 31 (2018), 4567–4601. doi: 10.1088/1361-6544/aad208
![]() |