12.07.2015 Views

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.5. Particular cases 89Pro<strong>of</strong>: τ(C 1 ) = h, τ(C 2 ) = h 2 − k 2 , <strong>in</strong> <strong>the</strong> sequence <strong>of</strong> maps C n , we cut <strong>the</strong> last cycle <strong>of</strong>length h (see Fig. 5.5) and we use Theorem 4.3.34, <strong>the</strong>n we obta<strong>in</strong>: τ(C n ) = τ(C n−1 )h −τ(C n−2 )k 2 = hτ(C n−1 ) − τ(C n−2 )k 2 , hence we obta<strong>in</strong> <strong>the</strong> system:⎧⎨⎩τ(C n ) = hτ(C n−1 ) − τ(C n−2 )k 2 , with n ≥ 3τ(C 1 ) = h,τ(C 2 ) = h 2 − k 2The characteristic equation is r 2 − hr + k 2 = 0, ∆ = h 2 − 4k 2 , if h ≥ 2k ⇒ ∆ ≥ 0,<strong>the</strong>refore <strong>the</strong> solutions <strong>of</strong> this equation are: r 1 = h−√ h 2 −4k 2and r2 2 = h+√ h 2 −4k 2, hence:2τ(C n ) = α( h−√ h 2 −4k 2) n + β( h+√ h 2 −4k 2) n , α, β ∈ R, n ≥ 1 Us<strong>in</strong>g <strong>the</strong> <strong>in</strong>itial conditions2 2τ(C 1 ) = h and τ(C 2 ) = h 2 − k 2 , we obta<strong>in</strong>:α = −h2 +h √ √ h 2 −4k 2 +2k 2h 2 −4k 2 (h− √ and β = h2 +h √ √ h 2 −4k 2 −2k 2h 2 −4k 2 ) h 2 −4k 2 (h+ √ , hence <strong>the</strong> result.h 2 −4k 2 )□5.5.2 The case <strong>of</strong> k i = 1 and h i = hTheorem 5.5.2 In <strong>the</strong> previous Theorem 5.5.1, if we take k i = 1 for i = 1, ..., n − 1 andh i = h (h ≥ 3) for i = 1, ..., n, n ≥ 1, we obta<strong>in</strong> <strong>the</strong> sequence <strong>of</strong> maps C n <strong>in</strong> Figure 5.6,Figure 5.6: Case <strong>of</strong> n cycles whose lengths are <strong>the</strong> same with h i = h and k i = 1<strong>the</strong>nτ(C n ) =(1√h2 − 4( h + √ h 2 − 42) n+1 − ( h − √ h 2 − 4)), n+1 n ≥ 1.2Pro<strong>of</strong>: By replac<strong>in</strong>g k i = 1 and h i = h for i = 1, ..., n <strong>in</strong> <strong>the</strong> system (1) <strong>of</strong> Theorem5.4.1, we get :⎧⎨ τ(C n ) = hτ(C n−1 ) − τ(C n−2 )τ(C 1 ) = h⎩τ(C 2 ) = h 2 − 1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!