首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
We prove the following theorem: Let φ(x) be a formula in the language of the theory PA? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ0 and let fφ: ? → ? such that fφ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < xK). Here I ∏1? denotes the theory PA? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ0.  相似文献   

2.
In the present paper we consider spline functions which are piecewise exponential sums of the form Σ αμeμx. Using the notation of Schumaker [10], we construct recursively computable B-splines of this space, where we make use of a complex contour integral. Furthermore, it is shown that this definition of a B-spline coincides in a certain sense with the ‘usual’ ones. which are based on the concept of generalized divided differences (e.g. [3, 12]). Finally, some additional properties of exponential B-splines are presented, including a differential relation.  相似文献   

3.
We consider the following semilinear wave equation: (1) for (t,x) ∈ ?t × ?. We prove that if the potential V(t,x) is a measurable function that satisfies the following decay assumption: V(t,x)∣?C(1+t)(1+∣x∣) for a.e. (t,x) ∈ ?t × ? where C, σ0>0 are real constants, then for any real number λ that satisfies there exists a real number ρ(f,g,λ)>0 such that the equation has a global solution provided that 0<ρ?ρ(f,g,λ). Copyright © 2004 John Wiley & Sons, Ltd.  相似文献   

4.
We study the maximal function Mf(x) = sup |f(x + y, t)| when Ω is a region in the (y,t) Ω upper half space R and f(x, t) is the harmonic extension to R+N+1 of a distribution in the Besov space Bαp,q(RN) or in the Triebel-Lizorkin space Fαp,q(RN). In particular, we prove that when Ω= {|y|N/ (N-αp) < t < 1} the operator M is bounded from F (RN) into Lp (RN). The admissible regions for the spaces B (RN) with p < q are more complicated.  相似文献   

5.
We prove stability of the kink solution of the Cahn‐Hilliard equation ∂tu = ∂( ∂uu/2 + u3/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. We prove stability of the kink solution of the Cahn‐Hilliard equation ∂tu = ∂( ∂uu/2 + u3/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. © 1999 John Wiley & Sons, Inc.  相似文献   

6.
We present an efficient randomized algorithm to test if a given function f : ?? → ??p (where p is a prime) is a low‐degree polynomial. This gives a local test for Generalized Reed‐Muller codes over prime fields. For a given integer t and a given real ε > 0, the algorithm queries f at O( ) points to determine whether f can be described by a polynomial of degree at most t. If f is indeed a polynomial of degree at most t, our algorithm always accepts, and if f has a relative distance at least ε from every degree t polynomial, then our algorithm rejects f with probability at least . Our result is almost optimal since any such algorithm must query f on at least points. © 2009 Wiley Periodicals, Inc. Random Struct. Alg., 2009  相似文献   

7.
Let K denote the graph obtained from the complete graph Ks+t by deleting the edges of some Kt‐subgraph. We prove that for each fixed s and sufficiently large t, every graph with chromatic number s+t has a K minor. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 343–350, 2010  相似文献   

8.
We consider a domain Ω in ?n of the form Ω = ?l × Ω′ with bounded Ω′ ? ?n?l. In Ω we study the Dirichlet initial and boundary value problem for the equation ? u + [(? ? ?… ? ?)m + (? ? ?… ? ?)m]u = fe?iωt. We show that resonances can occur if 2ml. In particular, the amplitude of u may increase like tα (α rational, 0<α<1) or like in t as t∞∞. Furthermore, we prove that the limiting amplitude principle holds in the remaining cases.  相似文献   

9.
This paper is the continuation of [17]. We investigate mapping and spectral properties of pseudodifferential operators of type Ψ with χ χ ? ? and 0 ≤ γ ≤ 1 in the weighted function spaces B (?n, w(x)) and F (?n, w(x)) treated in [17]. Furthermore, we study the distribution of eigenvalues and the behaviour of corresponding root spaces for degenerate pseudodifferential operators preferably of type b2(x) b(x, D) b1(x), where b1(x) and b2(x) are appropriate functions and b(x, D) ? Ψ. Finally, on the basis of the Birman-Schwinger principle, we deal with the “negative spectrum” (bound states) of related symmetric operators in L2.  相似文献   

10.
In this work, we prove the existence of global attractor for the nonlinear evolution equation uttuututt + g(x, u)=f(x) in X=(H2(Ω)∩H(Ω)) × (H2(Ω)∩H(Ω)). This improves a previous result of Xie and Zhong in (J. Math. Anal. Appl. 2007; 336 :54–69.) concerning the existence of global attractor in H(Ω) × H(Ω) for a similar equation. Further, the asymptotic behavior and the decay property of global solution are discussed. Copyright © 2010 John Wiley & Sons, Ltd.  相似文献   

11.
This article deals with the LORENTZ-MARCINKIEWICZ operator ideal ?? generated by an additive s-function and the LORENTZ-MARCINKIEWICZ sequence space λq(φ). We give eigenvalue distributions for operators belonging to ?? (E, E) and we show the interpolation properties of ??-ideals. Furthermore, we study certain SCHAUDER bases in ?? (H, K), H and K Hilbert spaces.  相似文献   

12.
For graphs A, B, let () denote the number of subsets of nodes of A for which the induced subgraph is B. If G and H both have girth > k, and if () = () for every k-node tree T, then for every k-node forest F, () = (). Say the spread of a tree is the number of nodes in a longest path. If G is regular of degree d, on n nodes, with girth > k, and if F is a forest of total spread ≤k, then the value of () depends only on n and d.  相似文献   

13.
Let Φ(t) and Ψ(t) be the functions having the following representations Φ(t) = ∫a(s)ds and Ψ(t) = ∫b(s) ds, where a(s) is a positive continuous function such that ∫a(s)/s ds = + ∞ and b(s) is an increasing function such that lims→ ∞ b(s) = + ∞. Then the following statements for the Hardy - Littlewood maximal function M f (x) are equivalent:
  • 1 (i) there exist positive constants c1 and s0 such that
  • 1 (ii) there exist positive constant c2 and c3 such that
.  相似文献   

14.
In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph G into a new graph μ(G), we now call the Mycielskian of G, which has the same clique number as G and whose chromatic number equals χ(G) + 1. Chang, Huang, and Zhu [G. J. Chang, L. Huang, & X. Zhu, Discrete Math, to appear] have investigated circular chromatic numbers of Mycielskians for several classes of graphs. In this article, we study circular chromatic numbers of Mycielskians for another class of graphs G. The main result is that χc(μ(G)) = χ(μ(G)), which settles a problem raised in [G. J. Chang, L. Huang, & X. Zhu, Discrete Math, to appear, and X. Zhu, to appear]. As χc(G) = and χ(G) = , consequently, there exist graphs G such that χc(G) is as close to χ(G) − 1 as you want, but χc(μ(G)) = χ(μ(G)). © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 63–71, 1999  相似文献   

15.
We study the following initial and boundary value problem: In section 1, with u0 in L2(Ω), f continuous such that f(u) + ? non-decreasing for ? positive, we prove the existence of a unique solution on (0,T), for each T > 0. In section 2 it is proved that the unique soluition u belongs to L2(0, T; H ∩ H2) ∩ L(0, T; H) if we assume u0 in H and f in C1(?,?). Numerical results are given for these two cases.  相似文献   

16.
In this paper we prove subelliptic estimates for operators of the form Δx + λ2 (x)S in ?N = ? × ?, where the operator S is an elliptic integro - differential operator in ?N and λ is a nonnegative Lipschitz continuous function.  相似文献   

17.
The covariant Weyl (spin s = 1/2) and Maxwell (s = 1) equations in certain local charts (u, φ) of a space-time (M, g) are considered. It is shown that the condition g00(x) > 0 for all x ε u is necessary and sufficient to rewrite them in a unified manner as evolution equations δtφ = L(s)φ. Here L(s) is a linear first order differential operator on the pre—Hilbert space (C (Ut, 2s+1). (…)), where Ut ? IR3 is the image of the coordinate map of the spacelike hyper-surface t = const, and (φ, C) = ?Ut ? *Q d(3)x with a suitable Hermitian n × n- matrix Q = Q(t,x). The total energy of the spinor field ? with respect to Ut is then simply given by E = 〈?,?〉. In this way inequalities for the energy change rate with respect to time, δt|?|2 = 2Re (?, L(s)?) are obtained. As an application, the Kerr—Newman black hole is studied, yielding quantitative estimates for the energy change rate. These estimates especially confirm the energy conservation of the Weyl field and the well—known superradiance of electromagnetic waves.  相似文献   

18.
This paper is a continuation of [8]. We study weighted function spaces of type B and F on the Euclidean space Rn, where u is a weight function of at most exponential growth. In particular, u(χ (±|χ|) is an admissible weight. We deal with atomic decompositions of these spaces. Furthermore, we prove that the spaces B and F are isomorphic to the corresponding unweighted spaces B and F.  相似文献   

19.
In this work a certain mixed problem in R for the Lamé equations in the theory of elasticity is reduced to the integral equation An explicit formula for the solutions is given for either Ω = {x:x2 > 0} or Ω = {x:∥x∥<r}. The question of smoothness of the solutions is also discused. Another formulae on Ω = {x:∥x∥<r} are found in [5], [4]. It seems that the techniques used below allows a deeper investigation of properties of the solutions to problem (*).  相似文献   

20.
We investigate an initial-value problem modelling fragmentation processes where particles split into two or more pieces at a rate, γ, that not only depends on the sizes of the particles involved but also on time. The existence of non-negative, mass-conserving solutions is established by considering a truncated version of an associated non-autonomous abstract Cauchy problem. The latter has solutions of the form u(t)=Un(t,t0)f, tt0, where f is the known data at some fixed time t0⩾0 and {Un(t,s)} is a uniformly continuous evolution system. A limit evolution system {U(t,s)} is shown to exist. Depending on the form of the known data f at time t0, the scalar-valued function u, obtained from the limit evolution system via u(x, t)=[U(t, t0)f](x) for a.e. x>0, tt0, is a solution of either the original initial-value problem or an integral version of this problem. © 1997 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号