네 성립합니다. 두 개념은 같은 개념으로 생각하시면 됩니다. f''(x) > 0이라는 것은 f'(x)가 계속 증가한다는 의미입니다. f'(x)가 증가하면 아래로 볼록인 그래프가 됩니다. 반대로 아래로 볼록이라는 것은 f'(x)가 증가한다는 것이고, f''(x)>0 이라고 할 수 있습니다. 물론 이 모든 내용은 f(x) 가 이계도함수가 존재한다는 내용이 전제되어야 합니다.