共查询到20条相似文献,搜索用时 31 毫秒
1.
Strang-type preconditioners for systems of LMF-based ODE codes 总被引:2,自引:0,他引:2
We consider the solution of ordinary differential equations(ODEs) using boundary value methods. These methods require thesolution of one or more unsymmetric, large and sparse linearsystems. The GMRES method with the Strang-type block-circulantpreconditioner is proposed for solving these linear systems.We show that if an Ak1,k2 -stable boundary value method is usedfor an m-by-m system of ODEs, then our preconditioners are invertibleand all the eigenvalues of the preconditioned systems are 1except for at most 2m(k1 + k2) outliers. It follows that whenthe GMRES method is applied to solving the preconditioned systems,the method will converge in at most 2m(k1 + k2) + 1 iterations.Numerical results are given to illustrate the effectivenessof our methods.
Received 8 October 1999. Accepted 30 May 2000. 相似文献
2.
An Rm-valued sequence (xk): = (xk : k = 1, 2, ...), e.g. generatedrecursively by xk = fk (xkk, Uk), is called averagepth power bounded if (1/K) is bounded uniformly in K= 1, 2,.... (The case p = 2 may correspond to powerin the physical sense.) This is a notion of stability. Givenestimates of the form: fk (x, u) < a x + ¶ k conditionsare obtained on the coefficient sequence (ak) and the inputestimates ek:=¶k (uk) which ensure this form of stabilityfor the output (xk). In particular, a condition (utilized inan application to adaptive control) is obtained which imposes(i) a bound b on (ak) and a sparsity measure m(K) on #{kK: ak>} as K ( >1) (ii) average pth power boundednesson (ek), and (iii) a growth condition on (ek) related to b andm (). This condition is sharp. 相似文献
3.
Higher string topology on general spaces 总被引:1,自引:0,他引:1
In this paper, I give a generalized analogue of the string topologyresults of Chas and Sullivan, and of Cohen and Jones. For afinite simplicial complex X and k 1, I construct a spectrumMaps(Sk, X)S(X), which is obtained by taking a generalizationof the Spivak bundle on X (which however is not a stable spherebundle unless X is a Poincaré space), pulling back toMaps(Sk, X) and quotienting out the section at infinity. I showthat the corresponding chain complex is naturally homotopy equivalentto an algebra over the (k + 1)-dimensional unframed little diskoperad Ck + 1. I also prove a conjecture of Kontsevich, whichstates that the Quillen cohomology of a based Ck-algebra (inthe category of chain complexes) is equivalent to a shift ofits Hochschild cohomology, as well as prove that the operadC*Ck is Koszul-dual to itself up to a shift in the derived category.This gives one a natural notion of (derived) Koszul dual C*Ck-algebras.I show that the cochain complex of X and the chain complex ofk X are Koszul dual to each other as C*Ck-algebras, and thatthe chain complex of Maps(Sk, X)S(X) is naturally equivalentto their (equivalent) Hochschild cohomology in the categoryof C* Ck-algebras. 2000 Mathematics Subject Classification 55P48(primary), 16E40, 55N45, 18D50 (secondary). 相似文献
4.
Benford's law (to base B) for an infinite sequence {xk : k 1} of positive quantities xk is the assertion that {logB xk: k 1} is uniformly distributed (mod 1). The 3x + 1 functionT(n) is given by T(n) = (3n + 1)/2 if n is odd, and T(n) = n/2if n is even. This paper studies the initial iterates xk = T(k)(x0)for 1 k N of the 3x + 1 function, where N is fixed. It showsthat for most initial values x0, such sequences approximatelysatisfy Benford's law, in the sense that the discrepancy ofthe finite sequence {logB xk : 1 k N} is small. 相似文献
5.
For a convex body K in Rd and 1 K d 1, let PK (K)be the Minkowski sum (average) of all orthogonal projectionsof K onto k-dimensional subspaces of Rd. It is Known that theoperator Pk is injective if kd/2, k=3 for all d, and if k =2, d 14. It is shown that P2k (K) determines a convex body K among allcentrally symmetric convex bodies and P2k+1(K) determines aconvex body K among all bodies of constant width. Correspondingstability results are also given. Furthermore, it is shown thatany convex body K is determined by the two sets Pk (K) and Pk'(K) if 1 < k < k'. Concerning the range of Pk , 1 k d2, it is shown that its closure (in the Hausdorff-metric)does not contain any polytopes other than singletons. 相似文献
6.
The above-titled paper of mine appeared in the Bulletin of theLondon Mathematical Society, 32 (2000) 297304. Regrettably,there is a careless error in the proofs of Theorems 6 and 8.In line 6 of the proof of Theorem 6, it is claimed that a certainsubset must be a subgroup. For this to hold, the subset mustcontain the zero element. This need not be the case; the truededuction is that the subset is a coset, say M + h, of a subgroupM. Now M and M + h contain the same number of elements, andso the deduction that M has p elements is still correct. Similarly, in the proof of Theorem 8, the subgroup Mk must bereplaced by a coset Mk + hk. This is the only change neededin this proof, since the sum Mk+hk+(nBH) being direct impliesthat the sum Mk+(nBH) is also direct. Since the zero elementdoes belong to the sets (mAH) and (nBH), the statements aboutthese sets are correct. So the second paragraph of the Proofof Theorem 8 is correct, and is also a proof of Theorem 6. Now we present an example that, we hope, will clarify the situation,as well as showing that certain statements in the original Proofof Theorem 6 not only could be wrong but actually are wrong.The smallest numerical example occurs with p = 2, m = 3, n =5. Then G is a cyclic group of order 60, and may be representedas the integers modulo 60. Let A = {0, 1, 2, 3, 4} + {0, 15} and B = {0, 5, 10} + {0, 30}.It is easily verified that A + B = {0, 1,..., 59}. In the notationof Theorem 6, we see that H = {0, 15, 30, 45}, K = {0, 12, 24,36, 48}, L = {0, 20, 40}, and M = {0, 30}. Now we see that mA= {0, 3, 6, 9, 12} + {0, 45} M + K, and that nB = {0, 25, 50}+ {0, 30} M + L. We note, however, that A is a complete setof residues modulo 10; that is, that B can be replaced by M+ L. 相似文献
7.
Schotzau Dominik; Schwab Christoph; Toselli Andrea 《IMA Journal of Numerical Analysis》2004,24(2):273-308
We consider the Stokes problem of incompressible fluid flowin three-dimensional polyhedral domains discretized on hexahedralmeshes with hp-discontinuous Galerkin finite elements of typeQk for the velocity and Qk1 for the pressure. We provethat these elements are inf-sup stable on geometric edge meshesthat are refined anisotropically and non-quasiuniformly towardsedges and corners. The discrete inf-sup constant is shown tobe independent of the aspect ratio of the anisotropic elementsand is of O(k3/2) in the polynomial degree k, as in thecase of conforming QkQk2 approximations on thesame meshes. 相似文献
8.
Let M1 and M2 be two simply connected closed manifolds of thesame dimension. It is proved that (1) if k is a coefficient field such that neither M1 nor M2has the same cohomology as a sphere, then the sequence (bk)k1of Betti numbers of the free loop space on M1 #M2 is unbounded; (2) if, moreover, the cohomology H*(M1;k) is not generated asalgebra by only one element, then the sequence (bk)k1 has anexponential growth. Thanks to theorems of Gromoll and Meyer and of Gromov, thisimplies, in case 1, that there exist infinitely many closedgeodesics on M1#M2 for each Riemannian metric, and, in case2, that for a generic metric, the number of closed geodesicsof length t grows exponentially with t. 相似文献
9.
As a special case of a well-known conjecture of Artin, it isexpected that a system of R additive forms of degree k, say [formula] with integer coefficients aij, has a non-trivial solution inQp for all primes p whenever [formula] Here we adopt the convention that a solution of (1) is non-trivialif not all the xi are 0. To date, this has been verified onlywhen R=1, by Davenport and Lewis [4], and for odd k when R=2,by Davenport and Lewis [7]. For larger values of R, and in particularwhen k is even, more severe conditions on N are required toassure the existence of p-adic solutions of (1) for all primesp. In another important contribution, Davenport and Lewis [6]showed that the conditions [formula] are sufficient. There have been a number of refinements of theseresults. Schmidt [13] obtained N>>R2k3 log k, and Low,Pitman and Wolff [10] improved the work of Davenport and Lewisby showing the weaker constraints [formula] to be sufficient for p-adic solubility of (1). A noticeable feature of these results is that for even k, onealways encounters a factor k3 log k, in spite of the expectedk2 in (2). In this paper we show that one can reach the expectedorder of magnitude k2. 1991 Mathematics Subject Classification11D72, 11D79. 相似文献
10.
Let K be an algebraic number field of degree n over the rationals,and denote by Jk the subring of K generated by the kth powersof the integers of K. Then GK(k) is defined to be the smallests1 such that, for all totally positive integers vJk of sufficientlylarge norm, the Diophantine equation
(1.1) is soluble in totally non-negative integers i of K satisfying N(i)<<N(v)1/k (1is). (1.2) In (1.2) and throughout this paper, all implicit constants areassumed to depend only on K, k, and s. The notation GK(k) generalizesthe familiar symbol G(k) used in Waring's problem, since wehave GQ(k) = G(k). By extending the HardyLittlewood circle method to numberfields, Siegel [8, 9] initiated a line of research (see [14,11]) which generalized existing methods for treating G(k). Thistypically led to upper bounds for GK(k) of approximate strengthnB(k), where B(k) was the best contemporary upper bound forG(k). For example, Eda [2] gave an extension of Vinogradov'sproof (see [13] or [15]) that G(k)(2+o(1))k log k. The presentpaper will eliminate the need for lengthy generalizations assuch, by introducing a new and considerably shorter approachto the problem. Our main result is the following theorem. 相似文献
11.
In this paper we define three elements of a certain generalisedcohomology ring BPm, n* BVk. Here m, n and k are non-negativeintegers with k+mn+1, there is a fixed prime p not exhibitedin the notation, and Vk is an elementary Abelian p-group ofrank k. We show that these elements are equal; this is striking,because the three definitions are very different. The significanceof our equation is not yet entirely clear, but it makes contactwith other work in the literature in a number of fascinatingways. 相似文献
12.
We prove that, if 2 k1 k2, then there is no infinite sequence of positive integers such that the representation functionr(n) = #{(a, a'): n = k1a + k2a', a, a' } is constant for nlarge enough. This result completes the previous work of Diracand Moser for the special case k1 = 1 and answers a questionposed by Sárkozy and Sós. 相似文献
13.
Let A1, A2,...,AN be square matrices which do not commute. Weconsider approximations to the matrix exponential M = exp [t(A1+ A2 + ... + AN)] of the form where each Yk is a positive multiplying factor, and each Ekis a product of terms having the form exp (tAn) for some >0 and 1 nN. This form is relevant to semi-discretization methodsfor the solution of linear partial differential equations andit produces systems which are easy to solve. The accuracy andstability of the splitting approximation are studied. It isshown that, even if the number of terms and the value of K arechosen to be large, the highest order of a stable approximationis two. Numerical examples are given. 相似文献
14.
Bollobas B.; Kohayakawa Y.; Rodl V.; Schacht M.; Taraz A. 《Proceedings London Mathematical Society》2007,95(3):709-734
We consider edge colourings of the complete r-uniform hypergraphKn(r)on n vertices. How many colours may such a colouring haveif we restrict the number of colours locally? The local restrictionis formulated as follows: for a fixed hypergraph H and an integerk we call a colouring (H, k)-local if every copy of H in thecomplete hypergraph Kn(r) receives at most k different colours. We investigate the threshold for k that guarantees that every(H, k)-local colouring of Kn(r) must have a globally boundednumber of colours as n , and we establish this threshold exactly.The following phenomenon is also observed: for many H (at leastin the case of graphs), if k is a little over this threshold,the unbounded (H, k)-local colourings exhibit their colourfulnessin a sparse way; more precisely, a bounded numberof colours are dominant while all other colours are rare. Hencewe study the threshold k0 for k that guarantees that every (H,k)-local colouring n of Kn(r) with k k0 must have a globallybounded number of colours after the deletion of up to nr edgesfor any fixed > 0 (the bound on the number of colours isallowed to depend on H and only); we think of such colouringsn as essentially finite. As it turns out, everyessentially infinite colouring is closely related to a non-monochromaticcanonical Ramsey colouring of Erdös and Rado. This secondthreshold is determined up to an additive error of 1 for everyhypergraph H. Our results extend earlier work for graphs byClapsadle and Schelp [Local edge colorings that are global,J. Graph Theory 18 (1994) 389–399] and by the first twoauthors and Schelp [Essentially infinite colourings ofgraphs, J. London Math. Soc. (2) 61 (2000) 658–670].We also consider a related question for colourings of the integersand arithmetic progressions.
2000 Mathematics Subject Classification 05D10 (primary), 05C35(secondary). The first author was partially supported by NSF grants CCR 0225610and DMS 0505550. The second author was partially supported byFAPESP and CNPq through a Temático–ProNEx project(Proc. FAPESP 2003/09925–5) and by CNPq (Proc. 306334/2004–6and 479882/2004–5). The third author was partially supportedby NSF grant DMS 0300529. The fourth author was partly supportedby the DFG within the European graduate program Combinatorics,Geometry, and Computation (No. GRK 588/2) and by DFGgrant SCHA 1263/1–1. This work was supported in part bya CAPES/DAAD collaboration grant. 相似文献
2000 Mathematics Subject Classification 05D10 (primary), 05C35(secondary). The first author was partially supported by NSF grants CCR 0225610and DMS 0505550. The second author was partially supported byFAPESP and CNPq through a Temático–ProNEx project(Proc. FAPESP 2003/09925–5) and by CNPq (Proc. 306334/2004–6and 479882/2004–5). The third author was partially supportedby NSF grant DMS 0300529. The fourth author was partly supportedby the DFG within the European graduate program Combinatorics,Geometry, and Computation (No. GRK 588/2) and by DFGgrant SCHA 1263/1–1. This work was supported in part bya CAPES/DAAD collaboration grant. 相似文献
15.
If f(z) = ckznk, where nk+1/nk q > 1, and f(z) is analyticin |z| < 1, the f(z) is an annular function if and only ifsup |ck| = . This answers a question posed by L. R. Sons andD.M. Campbell simplifies the proofs of many known examples ofannular functions.
Present address: Dept. of Mathematical Sciences, McMaster University,Hamilton, Ontario, Canada L8S4K1 相似文献
16.
We consider the DipperJames q-Schur algebra Sq(n, r)k,defined over a field k and with parameter q 0. An understandingof the representation theory of this algebra is of considerableinterest in the representation theory of finite groups of Lietype and quantum groups; see, for example, [6] and [11]. Itis known that Sq(n, r)k is a semisimple algebra if q is nota root of unity. Much more interesting is the case when Sq(n,r)k is not semisimple. Then we have a corresponding decompositionmatrix which records the multiplicities of the simple modulesin certain standard modules (or Weyl modules).A major unsolved problem is the explicit determination of thesedecomposition matrices. 相似文献
17.
Grushko's theorem [Mat. Sb. 8 (1940) 169182] says thatany generating tuple (g1, ..., gm) of a free product H*K isNielsen-equivalent to a tuple (h1, ..., hl, kl+1, ..., km) withhi H and ki K for all i. The hi and ki are clearly not unique.In this paper we address the extent of this non-uniqueness. 相似文献
18.
The purpose of this paper is to derive a recursive scheme forthe evaluation of the coefficients in the expansion
, in terms of the coefficients in the expansion
, where both qk(x) and Qk(x) are polynomials in xof degree k, and where both qk(x) and Qk{x} satisfy recursionformulae of the type satisfied by orthogonal polynomials. Thesets {Qk(x)} and {qk(x)} need not be orthogonal polynomials,though they usually are in the applications. An applicationis made to the evaluation of integrals with oscillatory andsingular integrands. 相似文献
19.
Given a field k and a finite group G acting on the rationalfunction field k(X1, ..., Xn) as a group of k-automorphisms,an important Noether's problem asks whether the invariant subfield [forumal] is purely transcendental over k. 1991 Mathematics Subject Classification12F20, 20G40. 相似文献
20.
Consider the following problem: given complex numbers a1, ...,an, find an L function f of minimum norm whose Fourier coefficientsck(f) are equal to ak for k between 0 and n. We show the uniquenessof this function, and we estimate its norm. The operator-valuedcase is also discussed. 2000 Mathematics Subject Classification30E05, 47A20, 47A56, 47A57. 相似文献