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.
Source author record
Hongwei Lou
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
9works
3topics
4close collaborators
Published work
9 publications
preprint2013arXiv
Optimal Blowup Time for Controlled Ordinary Differential Equations
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.
Open access
preprint2013arXiv
Sharp Constants for Inequalities of Poincaré Type: An Application of Optimal Control Theory
Sharp constants for an inequality of Poincaré type is studied. The problem is solved by using optimal control theory.
Open access
preprint2013arXiv
Time optimal control problems for some non-smooth systems
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.
Open access
preprint2011arXiv
Necessary and Sufficient Conditions for Distinguishability of Linear Control Systems
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.
Open access
preprint2011arXiv
The Proof of Alzer's Conjecture on Generalized Logarithmic Mean
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.
Open access
preprint2010arXiv
Cesari-type Conditions for Semilinear Elliptic Equations with Leading Term Containing Controls
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.
Open access
preprint2010arXiv
Optimality Conditions for Semilinear Parabolic Equations with Controls in Leading Term
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.
Open access
preprint2010arXiv
Second-Order Necessary/Sufficient Conditions for Optimal Control Problems in the Absence of Linear Structure
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.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.