共查询到20条相似文献,搜索用时 93 毫秒
1.
We present a constructive generalization of Abel-Gontscharoff's series expansion to higher dimensions. A constructive application to a problem of multivariate interpolation is also investigated. In addition, two algorithms for constructing the basis functions of the interpolants are given. 相似文献
2.
Exact Boundary Controllability and Exact Boundary Observability for a Coupled System of Quasilinear Wave Equations 下载免费PDF全文
Based on the theory of semi-global classical solutions to quasilinear hyperbolic systems, the authors apply a unified constructive method to establish the local exact boundary(null) controllability and the local boundary(weak) observability for a coupled system of 1-D quasilinear wave equations with various types of boundary conditions. 相似文献
3.
路见可 《数学物理学报(B辑英文版)》1989,(1)
The mathematical problem of an infinite elastic plane consisting of three different media with an arbitrary number of cracks is considered. It is reduced to singular integral equations along the interfaces and the cracks by a constructive method. Those along the interfaces are further reduced to Fredholm ones. 相似文献
4.
《数学年刊A辑(中文版)》2016,(4)
正Exact Boundary Observability for a Kind of Second-Order Quasilinear Hyperbolic Systems Ke WANG Based on the theory of semi-global classical solutions to quasilinear hyperbolic systems,the local exact boundary observability for a kind of second-order quasilinear hyperbolic systems is obtained by a constructive method. 相似文献
5.
TONG Chongliang~ CHENG Jin~ 《中国科学A辑(英文版)》2005,48(1):40-56
The inverse problem of determining two convection coefficients of an ellipticpartial differential equation by Dirichlet to Neumann map is discussed.It is well knownthat this is a severely ill-posed problem with high nonlinearity.By the inverse scatteringtechnique for first order elliptic system in the plane and the theory of generalized analyticfunctions,we give a constructive method for this inverse problem. 相似文献
6.
The periodic multiresolution analysis (PMRA) and the periodic frame multiresolution analysis (PFMRA) provide a general recipe for the construction of periodic wavelets and periodic wavelet frames, respectively. This paper addresses PFMRAs by the introduction of the notion of spectrum sequence. In terms of spectrum sequences, the scaling function sequences generating a normalized PFMRA are characterized; a characterization of the spectrum sequences of PFMRAs is obtained, which provides a method to construct PFMRAs since its proof is constructive; a necessary and sufficient condition for a PFMRA to admit a single wavelet frame sequence is obtained; a necessary and sufficient condition for a PFMRA to be contained in a given PMRA is also obtained. What is more, it is proved that an arbitrary PFMRA must be contained in some PMRA. In the meanwhile, some examples are provided to illustrate the general theory. 相似文献
7.
The exact boundary controllability and the exact boundary observability for the 1-D first order linear hyperbolic system were studied by the constructive method in the framework of weak solutions in the work [Lu, X. and Li, T. T., Exact boundary controllability of weak solutions for a kind of first order hyperbolic system — the constructive method, Chin. Ann. Math. Ser. B, 42(5), 2021, 643–676]. In this paper, in order to study these problems from the viewpoint of duality, the authors establish ... 相似文献
8.
Standard tri-point transition function 总被引:1,自引:0,他引:1
XIE Yuquan School of Mathematics Computational Science Xiangtan University Xiangtan China 《中国科学A辑(英文版)》2005,48(7):904-914
It is usually difficult to express a family of tri-point transition function (TTF) by a transition matrix as Markov processes with one parameter. In this paper, we define three kinds of connection matrixes on the states of standard tri-point transition function (STTF) and study their essential character, give a constructive method on the constant-value standard tri-point transition function and a general expression of the state-symmetric standard tri-point transition function by a sequence of the transition matrixes of special and simple Markov processes with one parameter. 相似文献
9.
In this note, we give an elementary and constructive proof for that the additive character group of a locally compact field is isomorphic to itself as an additive topological group. 相似文献
10.
We investigate the construction of two-direction tight wavelet frames First, a sufficient condition for a two-direction refinable function generating two-direction tight wavelet frames is derived. Second, a simple constructive method of two-direction tight wavelet frames is given. Third, based on the obtained two-direction tight wavelet frames, one can construct a symmetric multiwavelet frame easily. Finally, some examples are given to illustrate the results. 相似文献
11.
Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property,
a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued
functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics. 相似文献
12.
Douglas S. Bridges 《Archive for Mathematical Logic》2009,48(5):437-448
In the informal setting of Bishop-style constructive reverse mathematics we discuss the connection between the antithesis
of Specker’s theorem, Ishihara’s principle BD-N, and various types of equicontinuity. In particular, we prove that the implication from pointwise equicontinuity to uniform
sequential equicontinuity is equivalent to the antithesis of Specker’s theorem; and that, for a family of functions on a separable
metric space, the implication from uniform sequential equicontinuity to uniform equicontinuity is equivalent to BD-N.
相似文献
13.
We present a new approach to the solution of problems of stability of hybrid systems based on the constructive determination
of elements of a matrix-valued functional.
__________
Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 204–216, February, 2008. 相似文献
14.
O. V. Belegradek 《Algebra and Logic》2000,39(4):252-258
For any constructive commutative ring k with unity, we furnish an example of a residually finite, finitely generated, recursively
defined associative k-algebra with unity whose word problem is undecidable. This answers a question of Bokut’ in [3].
Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 441–451, July–August, 2000. 相似文献
15.
S. M. Chuiko 《Ukrainian Mathematical Journal》2007,59(8):1274-1279
We establish constructive conditions for the appearance of solutions of a linear Fredholm boundary-value problem for a system
of ordinary differential equations in the critical case and propose an iterative procedure for finding these solutions. The
range of values of a small parameter for which the indicated iterative procedure is convergent is estimated.
__________
Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 8, pp. 1148–1152, August, 2007. 相似文献
16.
We give an elementary proof of what is perhaps the earliest fixed point theorem; namely Leonhard Euler’s theorem of 1775 on
the existence of an axis v for any three-dimensional rotation R. The proof is constructive and shows that no multiplications are required to compute v.
Dedicated to the memory of Leonhard Euler, “The Master of us all”, on the occasion of the 300th anniversary of his birth 相似文献
17.
We give an elementary proof of a generalization of Bourgain and Tzafriri’s Restricted Invertibility Theorem, which says roughly that any matrix with columns of unit length and bounded operator norm has a large coordinate subspace on which it is well-invertible. Our proof gives the tightest known form of this result, is constructive, and provides a deterministic polynomial time algorithm for finding the desired subspace. 相似文献
18.
N. B. Zhuravlev 《Journal of Mathematical Sciences》2008,153(5):683-709
In this paper, a hyperbolicity criterion for periodic solutions of nonlinear functional-differential equations is constructed
in terms of zeros of the characteristic function. In the earlier papers in this area, necessary and sufficient conditions
were different from each other. Moreover, it was assumed that if the period of the investigated solution is irrational, then
that solution admits a rational approximation. In this paper, we obtain necessary and sufficient conditions of the hyperbolicity.
It is proved (and the proof is constructive) that a rational approximation exists for any irrational period. All the results
are obtained for the case of several rational delays.
__________
Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions),
Vol. 21, Proceedings of the Seminar on Differential and Functional Differential Equations Supervised by A. Skubachevskii (Peoples’
Friendship University of Russia), 2007. 相似文献
19.
Ana Isabel Sacristán Richard Noss 《International Journal of Computers for Mathematical Learning》2008,13(1):47-70
In this paper, we describe a design experiment aimed at helping students to explore and develop concepts of infinite processes
and objects. Our approach is based on the design and development of a computational microworld, which afforded students the
means to construct a range of representational models (symbolic, visual and numeric) of infinity-related objects (infinite
sequences, in particular). We present episodes based on four students’ activities, seeking to illustrate how the available
tools mediated students’ understandings of the infinite in rich ways, allowing them to discriminate subtle process-oriented
features of infinite processes. We claim that the microworld supported students in the coordination of hitherto unconnected
or conflicting intuitions concerning infinity, based on a constructive articulation of different representational forms we
name as ‘representational moderation’.
相似文献
Richard NossEmail: |
20.
R. A. Lasuriya 《Ukrainian Mathematical Journal》2007,59(7):996-1009
We prove direct and inverse theorems on the approximation of functions defined on a sphere in the space S
(p,q)(σm), m ≥ 3, in terms of the best approximations and moduli of continuity. We consider constructive characteristics of functional
classes defined by majorants of the moduli of continuity of their elements.
__________
Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 7, pp. 901–911, July, 2007. 相似文献