Polya's Four-Step Procedure and Creative Problem Solving

George Polya’s How to Solve it demonstrates how his procedures can be used to methodi- cally approach and solve any problem that involves thought and reasoning．In the following ex- ample we apply his four steps to problems that are not mathematical．

GLEASON’S PROBLEM ON FOCK-SOBOLEV SPACES

In this article,we solve completely Gleason’s problem on Fock-Sobolev spaces Fp,m for any non-negative integer m and 0<p≤∞.

The second Eshelby problem and its solvability

It is still a challenge to clarify the dependence of overall elastic properties of heterogeneous materials on the microstructures of non-elliposodal inhomogeneities （cracks, pores, foreign particles）. From the theory of elasticity, the formulation of the perturbance elastic fields, coming from a non-ellipsoidal inhomogeneity embedded in an infinitely extended material with remote constant loading, inevitably involve one or more integral equations. Up to now, due to the mathematical difficulty, there is almost no explicit analytical solution obtained except for the ellipsoidal inhomo- geneity. In this paper, we point out the impossibility to trans- form this inhomogeneity problem into a conventional Eshelby problem by the equivalent inclusion method even if the eigenstrain is chosen to be non-uniform. We also build up an equivalent model, called the second Eshelby problem, to investigate the perturbance stress. It is probably a better template to make use of the profound methods and results of conventional Eshelby problems of non-ellipsoidal inclusions.

Comprehensive form of solution for Lamb's dynamic problem expressed by Green's functions

By the analysis for the vectors of a wave field in the cylindrical coordinate and Sommerfeld＇s identity as well as Green＇s functions of Stokes＇ solution pertaining the conventional elastic dynamic equation, the results of Green＇s function in an infinite space of an axisymmetric coordinate are shown in this paper. After employing a supplementary influence field and the boundary conditions in the free surface of a senti-space, the authors obtain the solutions of Green＇s function for Lamb＇s dynamic problem. Besides, the vertical displacement uzz and the radial displacement urz can match Lamb＇s previous results, and the solutions of the linear expansion source u^r and the linear torsional source uee are also given in the paper. The authors reveal that Green＇s function of Stokes＇ solution in the semi-space is a comprehensive form of solution expressing the dynamic Lamb＇s problem for various situations. It may benefit the investigation of deepening and development of Lamb＇s problems and solution for pertinent dynamic problems conveniently.

Efficient Numerical Optimization Algorithm Based on New Real-Coded Genetic Algorithm, AREX + JGG, and Application to the Inverse Problem in Systems Biology

In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical optimization algorithm to estimate more than 100 real-coded parameters should be developed for this purpose. New real-coded genetic algorithm (RCGA), the combination of AREX (adaptive real-coded ensemble crossover) with JGG (just generation gap), have applied to the inference of genetic interactions involving more than 100 parameters related to the interactions with using experimentally observed time-course data. Compared with conventional RCGA, the combination of UNDX (unimodal normal distribution crossover) with MGG (minimal generation gap), new algorithm has shown the superiority with improving early convergence in the first stage of search and suppressing evolutionary stagnation in the last stage of search.

Clarifications for the Published Article: “A Solution to the Famous Twin’s Problem” in the APM of SCIRP at 24 September of 2019

This article B is almost autonomous because it can be read independently from the first published article A [1] using only a few parts of the article A. Be-low are given instructions so to need the reader study only on few places of the article A. Also, in the part A of Introduction, here, you will find simple and useful definitions and the strategy we are going to follow as well useful new theorems (also and in Section 5, which have been produced in this solution). So the published solution of twin’s problem can now be easily understood. The inequalities (4.17), (4.18) of Article A are proved here in Section 4 by a new clear method, without the possible ambiguity of the text between the relations (4.14), (4.16) of the Article A. Also we complete the proof for the twin’s distri-bution which we use. At the end here are presented the Conclusions, the No-menclatures and the numerical control of the proof, which is probably useful as well in coding methods. For a general and convincing picture is sufficient, a study from the beginning of this article B until the end of the part A of the In-troduction here as well a general glance on the Section 5 and on the Conclu-sions below.

Stokes's First Problem的差分解法

将有限差分方法的隐式格式计算公式应用于Ｓｔｏｋｅｓｓｆｉｒｓｔｐｒｏｂｌｅｍ，求得流场的速度分布．

RESEARCH REPORT ON THE GOLUB—WILKINSON’S PROBLEM

We conducted the research on the calculation of the Jordan normal form of a matrixfrom 1993 to 1998.In this period,we obtained some theoretical results,also developedand implemented a series of algorithms for the theoretical results.Now this research iscompleted to some degree.The Golub-Wilkinson’s ProblemComputing the Jordan decomposition of a matrix,introduced by G.H.Golub and J.

Solution of Cauchy's Problem for Wave Equations in Higher Space Dimensions by Means of D'Alembert's Formula

A simple method for solving Cauchy’s problem of wave equations in higher space dimensions with initial condition of separated variables, has been given by using D’Alembert’s formula and some examples have been shown.

Wavelet multiresolution interpolation Galerkin method for nonlinear boundary value problems with localized steep gradients

The wavelet multiresolution interpolation for continuous functions defined on a finite interval is developed in this study by using a simple alternative of transformation matrix.The wavelet multiresolution interpolation Galerkin method that applies this interpolation to represent the unknown function and nonlinear terms independently is proposed to solve the boundary value problems with the mixed Dirichlet-Robin boundary conditions and various nonlinearities,including transcendental ones,in which the discretization process is as simple as that in solving linear problems,and only common two-term connection coefficients are needed.All matrices are independent of unknown node values and lead to high efficiency in the calculation of the residual and Jacobian matrices needed in Newton’s method,which does not require numerical integration in the resulting nonlinear discrete system.The validity of the proposed method is examined through several nonlinear problems with interior or boundary layers.The results demonstrate that the proposed wavelet method shows excellent accuracy and stability against nonuniform grids,and high resolution of localized steep gradients can be achieved by using local refined multiresolution grids.In addition,Newton’s method converges rapidly in solving the nonlinear discrete system created by the proposed wavelet method,including the initial guess far from real solutions.

EXACT SOLUTION FOR A TWO-DIMENSIONAL LAMB'S PROBLEM DUE TO A STRIP IMPULSE LOADING

By applying the integral transform method and the inverse transformation technique based upon the two types of integration, the present paper has successfully obtained an exact algebraic solution for a two-dimensional Lamb＇s problem due to a strip impulse loading for the first time. With the algebraic result, the excitation and propagation processes of stress waves, including the longitudinal wave, the transverse wave, and Rayleigh-wave, are discussed in detail. A few new conclusions have been drawn from currently available integral results or computational results.

关于Knight’s Tour Problem的图论解法

通过分析欧拉所给出Knight’s Tour Problem的解法,结合哈密尔顿路和哈密尔顿圈的相关知识,得出其解法对应着二部图中的一条哈密尔顿圈.由此再充分利用8×8棋盘所对应的8×8表格的对称性及同格图的特性,对欧拉所给出的Knight’s Tour Problem的解法作了进一步的探讨,得出了以欧拉的解法为基础的以任一棋格为骑士周游起点的另外一系列解法.最后,把Knight’sTour Problem推广到m×n棋盘上,考虑到移动规则的特殊性,利用图论的相关知识,得到3×4,8×16和16×16棋盘上的Knight’s Tour Problem的解法,同时给出8m×8n(m>2,n>2)棋盘上Knight’s Tour Problem的猜想.

Solving Hitchcock’s transportation problem by a genetic algorithm

Genetic algorithms (GAs) employ the evolutionary process of Darwin’s nature selection theory to find the solutions of optimization problems. In this paper, an implementation of genetic algorithm is put forward to solve a classical transportation problem, namely the Hitchcock’s Transportation Problem (HTP), and the GA is improved to search for all optimal solutions and identify them automatically. The algorithm is coded with C++ and validated by numerical examples. The computational results show that the algorithm is efficient for solving the Hitchcock’s transportation problem.

Goldbach's Problem in the Matrix Ring over a Principal Ideal Domain

In this paper, we consider the Goldbach＇s problem for matrix rings, namely, we decompose an n × n （n 〉 1） matrix over a principal ideal domain R into a sum of two matrices in Mn,（R） with given determinants. We prove the following result： Let n 〉 1 be a natural number and A = （aij） be a matrix in Mn（R）. Define d（A） ：= g.c.d{aij}. Suppose that p and q are two elements in R. Then （1） If n 〉 1 is even, then A can be written as a sum of two matrices X, Y in Mn（R） with det（X） = p and det（Y） = q if and only if d（A） [ p - q; （2） If n 〉 1 is odd, then A can be written as a sum of two matrices X, Y in Mn（R） with det（X） = p and det（Y） = q if and only if d（A） ｜ p ＋ q. We apply the result to the matrices in Mn（Z） and Mn（Q[x]） and prove that if R = 7. or Q[x], then any nonzero matrix A in Mn（R） can be written as a sum of two matrices in Mn（R） with prime determinants.

S-T-S混合式循环互助教学模式用于少学时“化工原理”课程

“化工原理”课程是化工及相关专业的专业基础课程,相关专业的学时少,课程难,需重点解决的问题是“三多”“三不愿”“三不明”。针对痛点问题,提出了线上线下混合式循环互助的创新设计思路,包括:教师帮助学生自制课前、课中、课后习题,学生帮助教师反馈真实学习情况,学生帮助学生组团互助学习。问卷调查和评教结果显示,在一定程度上解决了“三多”“三不愿”的问题;通过建立“助教团队”反馈不同层次学生的学习情况,较好地解决了“三不明”的问题。学生的成绩与教改前相比有明显提高。

A NECESSARY AND SUFFICIENT CONDITION FOR GLOBAL EXISTENCE OF CLASSICAL SOLUTIONS TO CAUCHY PROBLEM OF QUASILINEAR HYPERBOLIC SYSTEMS IN DIAGONAL FORM

This article considers Cauchy problem for quasilinear hyperbolic systems in diagonal form. A necessary and sufficient condition in guaranteeing that Cauchy problem admits a unique global classical solution on t ≥ 0 is obtained, and a sharp estimate of the life span for the classical solution is given.

The Noncommutative Landau Problem in Podolsky’s Generalized Electrodynamics

The Landau problem in Podolsky＇s generalized electrodynamics is studied by the method of diagonalization in noncommutative phase space and we find that the different noncommutative effects for a certain system led by the nonuniqueness of generalized Bopp shift can be avoided. The exact energy eigenvalues are found, and the result shows that the energy spectra are generically non-degenerate, fhrthermore, we obtain the special energy spectra of noncommutative space and commutative space.

Hilbert’s First Problem and the New Progress of Infinity Theory

In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of “whole is greater than part”, and created another ruler for measuring infinite sets. The discussion in this paper shows that, compared with the cardinal number method, the Grossone method enables infinity calculation to achieve a leap from qualitative calculation to quantitative calculation. According to Grossone theory, there is neither the largest infinity and infinitesimal, nor the smallest infinity and infinitesimal. Hilbert’s first problem was caused by the immaturity of the infinity theory.