1af0996ceSBarry Smith #include <petsc/private/tsimpl.h> /*I "petscts.h" I*/ 284df9cb4SJed Brown 384df9cb4SJed Brown typedef struct { 41c3436cfSJed Brown PetscBool always_accept; 51c3436cfSJed Brown PetscReal clip[2]; /* admissible decrease/increase factors */ 61c3436cfSJed Brown PetscReal safety; /* safety factor relative to target error */ 77e1ba4dcSJed Brown PetscReal reject_safety; /* extra safety factor if the last step was rejected */ 81c3436cfSJed Brown Vec Y; 984df9cb4SJed Brown } TSAdapt_Basic; 1084df9cb4SJed Brown 1184df9cb4SJed Brown #undef __FUNCT__ 121c3436cfSJed Brown #define __FUNCT__ "TSAdaptChoose_Basic" 130b99f514SJed Brown static PetscErrorCode TSAdaptChoose_Basic(TSAdapt adapt,TS ts,PetscReal h,PetscInt *next_sc,PetscReal *next_h,PetscBool *accept,PetscReal *wlte) 1484df9cb4SJed Brown { 151c3436cfSJed Brown TSAdapt_Basic *basic = (TSAdapt_Basic*)adapt->data; 161c3436cfSJed Brown PetscErrorCode ierr; 177e1ba4dcSJed Brown PetscReal enorm,hfac_lte,h_lte,safety; 18*1ebf93c6SLisandro Dalcin PetscInt order = adapt->candidates.order[0]; 1984df9cb4SJed Brown 2084df9cb4SJed Brown PetscFunctionBegin; 21*1ebf93c6SLisandro Dalcin if (ts->ops->evaluatewlte) { 22*1ebf93c6SLisandro Dalcin ierr = (*ts->ops->evaluatewlte)(ts,adapt->wnormtype,&order,&enorm);CHKERRQ(ierr); 23*1ebf93c6SLisandro Dalcin } else { 24*1ebf93c6SLisandro Dalcin Vec X; 251c3436cfSJed Brown ierr = TSGetSolution(ts,&X);CHKERRQ(ierr); 261c3436cfSJed Brown if (!basic->Y) {ierr = VecDuplicate(X,&basic->Y);CHKERRQ(ierr);} 27*1ebf93c6SLisandro Dalcin ierr = TSEvaluateStep(ts,order-1,basic->Y,NULL);CHKERRQ(ierr); 28*1ebf93c6SLisandro Dalcin ierr = TSErrorWeightedNorm(ts,X,basic->Y,adapt->wnormtype,&enorm);CHKERRQ(ierr); 29*1ebf93c6SLisandro Dalcin } 301c3436cfSJed Brown 317e1ba4dcSJed Brown safety = basic->safety; 321c3436cfSJed Brown if (enorm > 1.) { 337e1ba4dcSJed Brown if (!*accept) safety *= basic->reject_safety; /* The last attempt also failed, shorten more aggressively */ 34fd94acc0SJed Brown if (h < (1 + PETSC_SQRT_MACHINE_EPSILON)*adapt->dt_min) { 3557622a8eSBarry Smith ierr = PetscInfo2(adapt,"Estimated scaled local truncation error %g, accepting because step size %g is at minimum\n",(double)enorm,(double)h);CHKERRQ(ierr); 36fd94acc0SJed Brown *accept = PETSC_TRUE; 377e1ba4dcSJed Brown } else if (basic->always_accept) { 3857622a8eSBarry Smith ierr = PetscInfo2(adapt,"Estimated scaled local truncation error %g, accepting step of size %g because always_accept is set\n",(double)enorm,(double)h);CHKERRQ(ierr); 397e1ba4dcSJed Brown *accept = PETSC_TRUE; 401c3436cfSJed Brown } else { 4157622a8eSBarry Smith ierr = PetscInfo2(adapt,"Estimated scaled local truncation error %g, rejecting step of size %g\n",(double)enorm,(double)h);CHKERRQ(ierr); 42fd94acc0SJed Brown *accept = PETSC_FALSE; 43fd94acc0SJed Brown } 44fd94acc0SJed Brown } else { 4557622a8eSBarry Smith ierr = PetscInfo2(adapt,"Estimated scaled local truncation error %g, accepting step of size %g\n",(double)enorm,(double)h);CHKERRQ(ierr); 46fd94acc0SJed Brown *accept = PETSC_TRUE; 471c3436cfSJed Brown } 481c3436cfSJed Brown 491c3436cfSJed Brown /* The optimal new step based purely on local truncation error for this step. */ 50bf0c4ff7SBarry Smith if (enorm == 0.0) { 51bf0c4ff7SBarry Smith hfac_lte = safety * PETSC_INFINITY; 52bf0c4ff7SBarry Smith } else { 53a3e8c5ccSSatish Balay hfac_lte = safety * PetscPowReal(enorm,-1./order); 54bf0c4ff7SBarry Smith } 551c3436cfSJed Brown h_lte = h * PetscClipInterval(hfac_lte,basic->clip[0],basic->clip[1]); 561c3436cfSJed Brown 5784df9cb4SJed Brown *next_sc = 0; 581c3436cfSJed Brown *next_h = PetscClipInterval(h_lte,adapt->dt_min,adapt->dt_max); 590b99f514SJed Brown *wlte = enorm; 6084df9cb4SJed Brown PetscFunctionReturn(0); 6184df9cb4SJed Brown } 6284df9cb4SJed Brown 6384df9cb4SJed Brown #undef __FUNCT__ 64099af0a3SLisandro Dalcin #define __FUNCT__ "TSAdaptReset_Basic" 65099af0a3SLisandro Dalcin static PetscErrorCode TSAdaptReset_Basic(TSAdapt adapt) 6684df9cb4SJed Brown { 671c3436cfSJed Brown TSAdapt_Basic *basic = (TSAdapt_Basic*)adapt->data; 6884df9cb4SJed Brown PetscErrorCode ierr; 6984df9cb4SJed Brown 7084df9cb4SJed Brown PetscFunctionBegin; 711c3436cfSJed Brown ierr = VecDestroy(&basic->Y);CHKERRQ(ierr); 72099af0a3SLisandro Dalcin PetscFunctionReturn(0); 73099af0a3SLisandro Dalcin } 74099af0a3SLisandro Dalcin 75099af0a3SLisandro Dalcin #undef __FUNCT__ 76099af0a3SLisandro Dalcin #define __FUNCT__ "TSAdaptDestroy_Basic" 77099af0a3SLisandro Dalcin static PetscErrorCode TSAdaptDestroy_Basic(TSAdapt adapt) 78099af0a3SLisandro Dalcin { 79099af0a3SLisandro Dalcin PetscErrorCode ierr; 80099af0a3SLisandro Dalcin 81099af0a3SLisandro Dalcin PetscFunctionBegin; 82099af0a3SLisandro Dalcin ierr = TSAdaptReset_Basic(adapt);CHKERRQ(ierr); 8384df9cb4SJed Brown ierr = PetscFree(adapt->data);CHKERRQ(ierr); 8484df9cb4SJed Brown PetscFunctionReturn(0); 8584df9cb4SJed Brown } 8684df9cb4SJed Brown 871c3436cfSJed Brown #undef __FUNCT__ 881c3436cfSJed Brown #define __FUNCT__ "TSAdaptSetFromOptions_Basic" 894416b707SBarry Smith static PetscErrorCode TSAdaptSetFromOptions_Basic(PetscOptionItems *PetscOptionsObject,TSAdapt adapt) 901c3436cfSJed Brown { 911c3436cfSJed Brown TSAdapt_Basic *basic = (TSAdapt_Basic*)adapt->data; 921c3436cfSJed Brown PetscErrorCode ierr; 931c3436cfSJed Brown PetscInt two; 941c3436cfSJed Brown PetscBool set; 951c3436cfSJed Brown 961c3436cfSJed Brown PetscFunctionBegin; 97e55864a3SBarry Smith ierr = PetscOptionsHead(PetscOptionsObject,"Basic adaptive controller options");CHKERRQ(ierr); 981c3436cfSJed Brown two = 2; 991c3436cfSJed Brown ierr = PetscOptionsRealArray("-ts_adapt_basic_clip","Admissible decrease/increase in step size","",basic->clip,&two,&set);CHKERRQ(ierr); 100ce94432eSBarry Smith if (set && (two != 2 || basic->clip[0] > basic->clip[1])) SETERRQ(PetscObjectComm((PetscObject)adapt),PETSC_ERR_ARG_OUTOFRANGE,"Must give exactly two values to -ts_adapt_basic_clip"); 1010298fd71SBarry Smith ierr = PetscOptionsReal("-ts_adapt_basic_safety","Safety factor relative to target error","",basic->safety,&basic->safety,NULL);CHKERRQ(ierr); 1020298fd71SBarry Smith ierr = PetscOptionsReal("-ts_adapt_basic_reject_safety","Extra safety factor to apply if the last step was rejected","",basic->reject_safety,&basic->reject_safety,NULL);CHKERRQ(ierr); 1030298fd71SBarry Smith ierr = PetscOptionsBool("-ts_adapt_basic_always_accept","Always accept the step regardless of whether local truncation error meets goal","",basic->always_accept,&basic->always_accept,NULL);CHKERRQ(ierr); 1041c3436cfSJed Brown ierr = PetscOptionsTail();CHKERRQ(ierr); 1051c3436cfSJed Brown PetscFunctionReturn(0); 1061c3436cfSJed Brown } 1071c3436cfSJed Brown 10839850373SJed Brown #undef __FUNCT__ 10939850373SJed Brown #define __FUNCT__ "TSAdaptView_Basic" 11039850373SJed Brown static PetscErrorCode TSAdaptView_Basic(TSAdapt adapt,PetscViewer viewer) 11139850373SJed Brown { 11239850373SJed Brown TSAdapt_Basic *basic = (TSAdapt_Basic*)adapt->data; 11339850373SJed Brown PetscErrorCode ierr; 11439850373SJed Brown PetscBool iascii; 11539850373SJed Brown 11639850373SJed Brown PetscFunctionBegin; 11739850373SJed Brown ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 11839850373SJed Brown if (iascii) { 11939850373SJed Brown if (basic->always_accept) {ierr = PetscViewerASCIIPrintf(viewer," Basic: always accepting steps\n");CHKERRQ(ierr);} 12057622a8eSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Basic: clip fastest decrease %g, fastest increase %g\n",(double)basic->clip[0],(double)basic->clip[1]);CHKERRQ(ierr); 12157622a8eSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Basic: safety factor %g, extra factor after step rejection %g\n",(double)basic->safety,(double)basic->reject_safety);CHKERRQ(ierr); 12239850373SJed Brown } 12339850373SJed Brown PetscFunctionReturn(0); 12439850373SJed Brown } 12539850373SJed Brown 12684df9cb4SJed Brown #undef __FUNCT__ 12784df9cb4SJed Brown #define __FUNCT__ "TSAdaptCreate_Basic" 12884df9cb4SJed Brown /*MC 12984df9cb4SJed Brown TSADAPTBASIC - Basic adaptive controller for time stepping 13084df9cb4SJed Brown 13184df9cb4SJed Brown Level: intermediate 13284df9cb4SJed Brown 13384df9cb4SJed Brown .seealso: TS, TSAdapt, TSSetAdapt() 13484df9cb4SJed Brown M*/ 1358cc058d9SJed Brown PETSC_EXTERN PetscErrorCode TSAdaptCreate_Basic(TSAdapt adapt) 13684df9cb4SJed Brown { 13784df9cb4SJed Brown PetscErrorCode ierr; 13884df9cb4SJed Brown TSAdapt_Basic *a; 13984df9cb4SJed Brown 14084df9cb4SJed Brown PetscFunctionBegin; 141b00a9115SJed Brown ierr = PetscNewLog(adapt,&a);CHKERRQ(ierr); 14284df9cb4SJed Brown adapt->data = (void*)a; 1431c3436cfSJed Brown adapt->ops->choose = TSAdaptChoose_Basic; 1441c3436cfSJed Brown adapt->ops->setfromoptions = TSAdaptSetFromOptions_Basic; 14584df9cb4SJed Brown adapt->ops->destroy = TSAdaptDestroy_Basic; 14639850373SJed Brown adapt->ops->view = TSAdaptView_Basic; 1471c3436cfSJed Brown 1481c3436cfSJed Brown a->clip[0] = 0.1; 1491c3436cfSJed Brown a->clip[1] = 10.; 1501c3436cfSJed Brown a->safety = 0.9; 1517e1ba4dcSJed Brown a->reject_safety = 0.5; 1527e1ba4dcSJed Brown a->always_accept = PETSC_FALSE; 15384df9cb4SJed Brown PetscFunctionReturn(0); 15484df9cb4SJed Brown } 155