A Short Proof of Stirling's Formula
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
Discover
Research tools
Network
Opportunities
Account
Source author record
Hongwei Lou appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
Both the shortest and the longest blowup time for a controlled system are considered. Existence result and maximum principle for optimal triple are established. Thanks to some monotonicity of the controlled system, some kinds of "the front part local optimality" for optimal triple is established. Then proofs of the main results become easy, clear and abundant.
Sharp constants for an inequality of Poincaré type is studied. The problem is solved by using optimal control theory.
Time optimal control problems for some non-smooth systems in general form are considered. The non-smoothness is caused by singularity. It is proved that Pontryagin's maximum principle holds for at least one optimal relaxed control. Thus, Pontryagin's maximum principle holds when the optimal classical control is a unique optimal relaxed control. By constructing an auxiliary controlled system which admits the original optimal classical control as its unique optimal relaxed control, one get a chance to get Pontryagin's maximum principle for the original optimal classical control. Existence results are also considered.
Distinguishability takes a crucial rule in studying observability of hybrid system such as switched system. Recently, for two linear systems, Lou and Si gave a condition not only necessary but also sufficient to the distinguishability of linear systems. However, the condition is not easy enough to verify. This paper will give a new equivalent condition which is relatively easy to verify.
In 1987, Alzer posed a conjecture on generalized logarithmic mean, which was introduced by Stolarsky in 1975. To prove Alzer's conjecture, Lou posed a conjecture on generalized inverse harmonic mean in 1995. By proving Lou's conjecture, the paper yields Alzer's conjecture finally.
An optimal control problem governed by semilinear elliptic partial differential equations is considered. The equation is in divergence form with the leading term containing controls. By studying the $G$-closure of the leading term, an existence result is established under a Cesari-type condition.
An optimal control problem for semilinear parabolic partial differential equations is considered. The control variable appears in the leading term of the equation. Necessary conditions for optimal controls are established by the method of homogenizing spike variation. Results for problems with state constraints are also stated.
Second-order necessary conditions for optimal control problems are considered, where the ``second-order" is in the sense of that Pontryagin's maximum principle is viewed as a first-order necessary optimality condition. A sufficient condition for a local minimizer is also given.