• Title/Summary/Keyword: combination theorem

Search Result 35, Processing Time 0.022 seconds

A Note on Kruskal's Theorem

  • Lee, Gyesik;Na, Hyeon-Suk
    • Korean Journal of Logic
    • /
    • v.15 no.3
    • /
    • pp.307-322
    • /
    • 2012
  • It is demonstrated that there is a simple, canonical way to show the independency of the Friedman-style miniaturization of Kruskal's theorem with respect to $(\prod_{2}^{1}-BI)_0$. This is done by a non-trivial combination of some well-known, non-trivial previous works concerning directly or indirectly the (proof-theoretic) strength of Kruskal's theorem.

  • PDF

The connections and representation of Pascal Triangles, Difference sequences and Matrices (파스칼의 삼각형, 계차수열 및 행렬의 연계와 표현)

  • Kim Ik Pyo;Hwang Suk Geun
    • The Mathematical Education
    • /
    • v.43 no.4
    • /
    • pp.391-398
    • /
    • 2004
  • It is well-known in the literature that the general term of a sequence can be represented by a linear combination of binomial coefficients. The theorem and its known proofs are not easy for highschool students to understand. In this paper we prove the theorem by a pictorial method and by a very short and easy inductive method to make the problem easy and accessible enough for highschool students.

  • PDF

CONSISTENCY AND GENERAL TRUNCATED MOMENT PROBLEMS

  • Yoo, Seonguk
    • Journal of the Chungcheong Mathematical Society
    • /
    • v.31 no.4
    • /
    • pp.487-509
    • /
    • 2018
  • The Truncated Moment Problem (TMP) entails finding a positive Borel measure to represent all moments in a finite sequence as an integral; once the sequence admits one or more such measures, it is known that at least one of the measures must be finitely atomic with positive densities (equivalently, a linear combination of Dirac point masses with positive coefficients). On the contrary, there are more general moment problems for which we aim to find a "signed" measure to represent a sequence; that is, the measure may have some negative densities. This type of problem is referred to as the General Truncated Moment Problem (GTMP). The Jordan Decomposition Theorem states that any (signed) measure can be written as a difference of two positive measures, and hence, in the view of this theorem, we are able to apply results for TMP to study GTMP. In this note we observe differences between TMP and GTMP; for example, we cannot have an analogous to the Flat Extension Theorem for GTMP. We then present concrete solutions to lower-degree problems.

Characteristics of Forces upon Two-dimensional Circular Cylinder by External Singularities (외부 특이점이 2차원 원주에 작용하는 힘의 특성)

  • Lee, Seung-Joon
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.47 no.6
    • /
    • pp.782-786
    • /
    • 2010
  • Thrust deduction related to the prediction of power performance of a ship is rather resistance increase, and as a preliminary study for it forces upon a circular cylinder in a uniform flow of ideal fluid due to singularities located behind it are investigated. The circle theorem is used to get the complex velocity potential for the flow field under consideration, and the Blasius theorem is applied to obtain forces upon the circular cylinder. As singularities sinks, point vortices and dipoles and their combinations are treated. $\varepsilon$, standing for the strength of a singularity, and $\delta$, representing the distance between the cylinder and the singularity, are important small parameters for the resistance and lateral forces. For sinks or point vortices it is shown that the dimensionless forces upon the cylinder is O($\epsilon$) if $\epsilon$= O($\delta$) is assumed, and the same holds for dipoles if $\epsilon$= O(${\delta}^3$) is supposed. Forces upon the cylinder by a symmetric pair of sinks are greater than a single sink located at the central plane since there is an additional term due to cross effects, and the same is also valid for the case of dipole. Combination of dipole and a point vortex is also considered and a few new aspects are clarified.

LEGENDRE TRAJECTORIES OF TRANS-S-MANIFOLDS

  • Guvenc, Saban
    • Bulletin of the Korean Mathematical Society
    • /
    • v.59 no.1
    • /
    • pp.227-239
    • /
    • 2022
  • In this paper, we consider Legendre trajectories of trans-S-manifolds. We obtain curvature characterizations of these curves and give a classification theorem. We also investigate Legendre curves whose Frenet frame fields are linearly dependent with certain combination of characteristic vector fields of the trans-S-manifold.

CONVEX POLYTOPES OF GENERALIZED DOUBLY STOCHASTIC MATRICES

  • Cho, Soo-Jin;Nam, Yun-Sun
    • Communications of the Korean Mathematical Society
    • /
    • v.16 no.4
    • /
    • pp.679-690
    • /
    • 2001
  • Doubly stochastic matrices are n$\times$n nonnegative ma-trices whose row and column sums are all 1. Convex polytope $\Omega$$_{n}$ of doubly stochastic matrices and more generally (R,S), so called transportation polytopes, are important since they form the domains for the transportation problems. A theorem by Birkhoff classifies the extremal matrices of , $\Omega$$_{n}$ and extremal matrices of transporta-tion polytopes (R,S) were all classified combinatorially. In this article, we consider signed version of $\Omega$$_{n}$ and (R.S), obtain signed Birkhoff theorem; we define a new class of convex polytopes (R,S), calculate their dimensions, and classify their extremal matrices, Moreover, we suggest an algorithm to express a matrix in (R,S) as a convex combination of txtremal matrices. We also give an example that a polytope of signed matrices is used as a domain for a decision problem. In this context of finite reflection(Coxeter) group theory, our generalization may also be considered as a generalization from type $A_{*}$ n/ to type B$_{n}$ D$_{n}$. n/.

  • PDF

THE INVARIANCE PRINCIPLE FOR LINEARLY POSITIVE QUADRANT DEPENDENT SEQUENCES

  • Kim, Tae-Sung;Han, Kwang-Hee
    • Communications of the Korean Mathematical Society
    • /
    • v.9 no.4
    • /
    • pp.951-959
    • /
    • 1994
  • A sequence ${X_j : j \geq 1}$ of random variables is said to be pairwise positive quadrant dependent (pairwise PQD) if for any real $r-i,r_j$ and $i \neq j$ $$ P{X_i > r_i,X_j > r_j} \geq P{X_i > r_i}P{X_j > r_j} $$ (see [8]) and a sequence ${X_j : j \geq 1}$ of random variables is said to be associated if for any finite collection ${X_{i(1)},...,X_{j(n)}}$ and any real coordinatewise nondecreasing functions f,g on $R^n$ $$ Cov(f(X_{i(1)},...,X_{j(n)}),g(X_{j(1)},...,X_{j(n)})) \geq 0, $$ whenever the covariance is defined (see [6]). Instead of association Cox and Grimmett's [4] original central limit theorem requires only that positively linear combination of random variables are PQD (cf. Theorem $A^*$).

  • PDF

SINGULAR THIRD-ORDER 3-POINT BOUNDARY VALUE PROBLEMS

  • Palamides, Alex P.
    • Journal of applied mathematics & informatics
    • /
    • v.28 no.3_4
    • /
    • pp.697-710
    • /
    • 2010
  • In this paper, we prove existence of infinitely many positive and concave solutions, by means of a simple approach, to $3^{th}$ order three-point singular boundary value problem {$x^{\prime\prime\prime}(t)=\alpha(t)f(t,x(t))$, 0 < t < 1, $x(0)=x'(\eta)=x^{\prime\prime}(1)=0$, (1/2 < $\eta$ < 1). Moreover with respect to multiplicity of solutions, we don't assume any monotonicity on the nonlinearity. We rely on a combination of the analysis of the corresponding vector field on the phase-space along with Knesser's type properties of the solutions funnel and the well-known Krasnosel'ski$\breve{i}$'s fixed point theorem. The later is applied on a new very simple cone K, just on the plane $R^2$. These extensions justify the efficiency of our new approach compared to the commonly used one, where the cone $K\;{\subset}\;C$ ([0, 1], $\mathbb{R}$) and the existence of a positive Green's function is a necessity.