Loading...
Search for:
blow-up
0.005 seconds
Lower bounds for the blow-up time of nonlinear parabolic problems with robin boundary conditions
, Article Electronic Journal of Differential Equations ; Vol. 2014 , April , 2014 ; ISSN: 10726691 ; Hesaaraki, M ; Sharif University of Technology
Abstract
In this article, we find a lower bound for the blow-up time of solutions to some nonlinear parabolic equations under Robin boundary conditions in bounded domains of Rn
Lower bounds for the blow-up time in a semilinear parabolic problem involving a variable source
, Article Applied Mathematics Letters ; Vol. 27, issue , 2014 , p. 49-52 ; Ghaemi, M ; Hesaaraki, M ; Sharif University of Technology
Abstract
This letter is concerned with the blow-up of the solutions to a semilinear parabolic problem with a reaction given by a variable exponent. Lower bounds for the time of blow-up are derived if the solutions blow up
On existence, non-existence and blow-up results for a singular semilinear laplacian problem
, Article European Journal of Mathematics ; Volume 3, Issue 1 , 2017 , Pages 150-170 ; 2199675X (ISSN) ; Hesaaraki, M ; Sharif University of Technology
Abstract
We study the optimal value of p for solvability of the problem [Equation not available: see fulltext.]Here λ, α> 0 , p> 1 , f is a non-negative measurable function and [InlineEquation not available: see fulltext.], N⩾ 3 , is an open bounded domain with smooth boundary such that 0 ∈ Ω. We find the critical threshold exponent p+(λ, α) for solvability of (1) and show that if [InlineEquation not available: see fulltext.], 1 < p< p+(λ, α) and [InlineEquation not available: see fulltext.] for some sufficiently small c0> 0 , then there exists a solution as a limit of solutions to approximating problems. Moreover, for p⩾ p+(λ, α) we show that a complete blow-up phenomenon occurs. © 2017, Springer...
Global existence, blow-up and asymptotic behavior of solutions for a class of p(x)-Choquard diffusion equations in RN
, Article Journal of Mathematical Analysis and Applications ; Volume 506, Issue 2 , 2022 ; 0022247X (ISSN) ; Hamdani, M. K ; Bayrami Aminlouee, M ; Sharif University of Technology
Academic Press Inc
2022
Abstract
In this paper, we investigate the local and global existence, asymptotic behavior, and blow-up of solutions to the Cauchy problem for Choquard-type equations involving the p(x)-Laplacian operator. As a particular case, we study the following initial value problem [Formula presented] where p,q,V:RN→R and α:RN×RN→R are continuous functions that satisfy some conditions which will be stated later on, and u0:RN→R is the initial function. Under some appropriate conditions, we prove the local and global existence of solutions for the above Cauchy problem by employing the abstract Galerkin approximation. Moreover, the blow-up of solutions and large-time behavior are also investigated. © 2021...
Blow-up phenomena for a system of semilinear parabolic equations with nonlinear boundary conditions
, Article Mathematical Methods in the Applied Sciences ; Volume 38, Issue 3 , 2015 , Pages 527-536 ; 01704214 (ISSN) ; Hesaaraki, M ; Sharif University of Technology
John Wiley and Sons Ltd
2015
Abstract
This paper deals with the blow-up phenomena for a system of parabolic equations with nonlinear boundary conditions. We show that under some conditions on the nonlinearities, blow-up occurs at some finite time. We also obtain upper and lower bounds for the blow-up time when blow-up occurs. Copyright
Qualitative and Topological Properties of Some Partial Differential Equations
, M.Sc. Thesis Sharif University of Technology ; Hesaaraki, Mahmoud (Supervisor)
Abstract
This thesis is devoted to prove the existance of solution and structure of solu tion for some partial differential equations by using some modern topological and variational thechniques. Taking direction from the literature, this thesis is interested in existence, uniqueness, blow-up in finite time for some evolution equations, multiplicity and radial solution for certain elliptic partial differential equations.-Employing Fibrering, Galerkins, Mountain Pass-Lemma and lions com pactness Lemma are sharp in this thesis to prove the exsistence and multiplicity of solutions and overcome lack of compactness in some cases
Global Solutions of Inhomogeneous Viscous Hamilton-Jacobi Equations
, M.Sc. Thesis Sharif University of Technology ; Hesaaraki, Mahmoud (Supervisor)
Abstract
We consider the following viscous Hamilton-Jacobi Equations for :
The aim of this paper is to investigate relations between:
(i) The existence of global solutions,
(ii) The existence of stationary solutions (with gradient possibly singular on the boundary), and we obtain precise description of these relations. Namely, (i) imply that (ii), and this case all global solutions converge uniformly to unique stationary solutions. In the redial case, we prove converse of this result. Moreover, for certain smooth function we obtain the existence of global classical solutions with gradient blow-up in infinite time. For or for Cauchy problem, we establish similar relations. Our...
The aim of this paper is to investigate relations between:
(i) The existence of global solutions,
(ii) The existence of stationary solutions (with gradient possibly singular on the boundary), and we obtain precise description of these relations. Namely, (i) imply that (ii), and this case all global solutions converge uniformly to unique stationary solutions. In the redial case, we prove converse of this result. Moreover, for certain smooth function we obtain the existence of global classical solutions with gradient blow-up in infinite time. For or for Cauchy problem, we establish similar relations. Our...
Blow-up For Chemotaxis Models
, Ph.D. Dissertation Sharif University of Technology ; Hesaaraki, Mahmoud (Supervisor)
Abstract
Moving of living organisms appears in many interesting problems, e.g. the growth of bacteria colonies, tumor growth, wound healing, color patterns of animals and etc. There are many ways to model such problems and PDE theory is widely used to investigate these problems. In this thesis, we study two well-known classic models. First, macroscopic “Keller–Segel” model and then kinetic “Othmer–Dunbar–Alt” System. Since these models have a nice behavior in two dimensions that they don’t have in other dimensions, we propose a way to alter them such that they behave in this way in all dimensions. Also none of the known models have the suitable dynamics in one dimension, so our model has the property...
Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero
, M.Sc. Thesis Sharif University of Technology ; Jafari, Amir (Supervisor)
Abstract
A moduli spase consists in classifying geometric objects up tp equivalence relations and its point are in 1-1 corrospondence with equivalence classes. One of the most important moduli spaces in algebraic geometry is «moduli space of stable n-pointed curves of genus zero» which has many applications in mathematics and theoretical physics.In [10] Knudsen shows that for every n 3 there is a smooth projective variety Xn that is a moduli space for stable n-pointed curves of genus zero.In this thesis we study moduli spaces and introduce Xn and its relation with cross ratios. This way we show Xn is smooth projective variety and a fine moduli space. [5] After that we study a paper by Sean Keel. [9]...
Solutions of Reaction-Diffiusion Predator-Prey Systems
, M.Sc. Thesis Sharif University of Technology ; Hesaraki, Mahmoud (Supervisor)
Abstract
Consider the following Two Reaction-Diffusion System with Predator-Prey interactions.
{ █(ut = Du Δu + f (u) "" bϕ(u)v x ∈ Ω ,t>0 ,@ @vt = Dv Δv + g(v) + cϕ(u)v x ∈ Ω ,t>0 ,)┤
The main purposes of Thesis are as follow: The effect of a protection zone in the diffusive Leslie predator–prey model, Non-existence of non-constant positive steady states of two Holling type-II predator–prey systems: Strong interaction case, In the first chapter, my work is devoted to investigate the change of behavior of diffusive Leslie predator–prey model with large intrinsic predator growth rate, when a simple protection zone Ω_0 for the prey is introduced. In other word, the...
{ █(ut = Du Δu + f (u) "" bϕ(u)v x ∈ Ω ,t>0 ,@ @vt = Dv Δv + g(v) + cϕ(u)v x ∈ Ω ,t>0 ,)┤
The main purposes of Thesis are as follow: The effect of a protection zone in the diffusive Leslie predator–prey model, Non-existence of non-constant positive steady states of two Holling type-II predator–prey systems: Strong interaction case, In the first chapter, my work is devoted to investigate the change of behavior of diffusive Leslie predator–prey model with large intrinsic predator growth rate, when a simple protection zone Ω_0 for the prey is introduced. In other word, the...
Symbolic checking of fuzzy CTL on fuzzy program graph
, Article Acta Informatica ; Volume 56, Issue 1 , Februray , 2019 , Pages 1-33 ; 00015903 (ISSN) ; Sotudeh, G ; Movaghar, A ; Sharif University of Technology
Springer Verlag
2018
Abstract
Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL)...
Symbolic checking of fuzzy CTL on fuzzy program graph
, Article Acta Informatica ; Volume 56, Issue 1 , 2019 ; 00015903 (ISSN) ; Sotudeh, G ; Movaghar, A ; Sharif University of Technology
Springer Verlag
2019
Abstract
Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL)...