求教PHP有没有求某一个指定日期的下一个星期的星期一是几号的函数

业务上有这样的要求，需要按周对批量数据进行统计，开始的和结束的时期由用户自己输入，比如输入2011-07-30开始，2011-12-31结束。
但问题在于开始的日子并不一定是一周的开始（周一），所以统计的第一周是不完整的一个星期，所以需要求开始日的下一个星期一，然后开始完整周的统计，直到最后一周结束。

比如这样：next_monday('2011-07-30');
返回2011-08-01

next_monday('2011-08-01');
返回2011-08-08


next_monday('2011-11-15');
返回2011-11-20

参数和返回值的形式可以是比如字符串，数组，UNIX时间戳，时间对象，等任意合法形式，只要我能最终取得到（直接或间接都无所谓）“2011-08-01”这个日期就可以了

初学PHP，看了PHP的手册，似乎里面没有提及类似的功能，不知道是否有类似的代码可以使用。
还望不吝赐教。

echo date('Y-m-d' , strtotime('next monday' , strtotime('2011-08-01')));